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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

3540074163

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On solvability by λI-terms

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029536 ◽

2005 ◽

pp. 342-345 ◽

Cited By ~ 2

Author(s):

J. W. Klop

Download Full-text

On the description of time varying systems in λ-calculus

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029525 ◽

2005 ◽

pp. 177-191

Author(s):

Giorgio Ausiello

Keyword(s):

Time Varying ◽

Time Varying Systems

Download Full-text

Combinators and classes

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029517 ◽

2005 ◽

pp. 1-26 ◽

Cited By ~ 23

Author(s):

Dana Scott

Download Full-text

Open problems

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029538 ◽

2005 ◽

pp. 367-370

Author(s):

Henk Barendregt

Keyword(s):

Open Problems

Download Full-text

An algebraic interpretation of the λβK-calculus and a labelled λ-calculus

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029523 ◽

2005 ◽

pp. 147-165 ◽

Cited By ~ 16

Author(s):

Jean-Jacques Levy

Keyword(s):

Algebraic Interpretation

Download Full-text

Some philosophical issues concerning theories of combinators

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029537 ◽

2005 ◽

pp. 346-366 ◽

Cited By ~ 14

Author(s):

Dana Scott

Download Full-text

λ-Terms as total or partial functions on normal forms

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029521 ◽

2005 ◽

pp. 96-121 ◽

Cited By ~ 14

Author(s):

Corrado Böhm ◽

Mariangiola Dezani-Ciancaglini

Keyword(s):

Normal Forms ◽

Partial Functions

Download Full-text

Les modeles informatiques des λ-calculs

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029524 ◽

2005 ◽

pp. 166-176 ◽

Cited By ~ 3

Author(s):

Louis Nolin

Download Full-text

A model with nondeterministic computation

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029532 ◽

2005 ◽

pp. 287-296

Author(s):

Marisa Venturini Zilli

Download Full-text

Typed meaning in Scott's λ-calculus models

Lecture Notes in Computer Science - λ-Calculus and Computer Science Theory ◽

10.1007/bfb0029528 ◽

2005 ◽

pp. 220-239 ◽

Cited By ~ 1

Author(s):

Herbert Egli

Download Full-text

Lecture Notes in Computer Science - λ-Calculus and Computer Science TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

On solvability by λI-terms

On the description of time varying systems in λ-calculus

Combinators and classes

Open problems

An algebraic interpretation of the λβK-calculus and a labelled λ-calculus

Some philosophical issues concerning theories of combinators

λ-Terms as total or partial functions on normal forms

Les modeles informatiques des λ-calculs

A model with nondeterministic computation

Typed meaning in Scott's λ-calculus models

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