Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer-Verlag

3540074163
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On solvability by λI-terms

2005 ◽  
pp. 342-345 ◽  
Author(s):  
J. W. Klop

Combinators and classes

2005 ◽  
pp. 1-26 ◽  
Author(s):  
Dana Scott

Open problems

2005 ◽  
pp. 367-370
Author(s):  
Henk Barendregt
Keyword(s):  
Open Problems

λ-Terms as total or partial functions on normal forms

2005 ◽  
pp. 96-121 ◽  
Author(s):  
Corrado Böhm ◽  
Mariangiola Dezani-Ciancaglini
Keyword(s):  
Normal Forms ◽  
Partial Functions

Les modeles informatiques des λ-calculs

2005 ◽  
pp. 166-176 ◽  
Author(s):  
Louis Nolin

A model with nondeterministic computation

2005 ◽  
pp. 287-296
Author(s):  
Marisa Venturini Zilli
Load More ...
Sign in / Sign up

Export Citation Format

Share Document