|
997
|
The Lambda Calculus: its Syntax and Semantics
– H P Barendregt
- 1984
|
|
87
|
Full Abstraction for a Simple Parallel Programming Language
– M. C. B. Hennessy, G. D. Plotkin
- 1979
|
|
62
|
domains and predicate transformers: a topological view
– M Smyth, Power
- 1983
|
|
12
|
Measure theoretic results for continuous valuations on partially ordered spaces
– M Alvarez-Manilla
- 2001
|
|
402
|
Domain Theory
– Samson Abramsky, Achim Jung
- 1994
|
|
56
|
Domain Theory and Integration
– Abbas Edalat
- 1995
|
|
304
|
A Compendium of Continuous Lattices
– G Gierz, K H Hofmann, K Keimel, J D Lawson, M W Mislove, D S Scott
- 1980
|
|
208
|
Abstract and Concrete Categories
– J Adámek, H Herrlich, G Strecker
- 1990
|
|
3
|
Towards Lambda Calculus Order-Incompleteness
– Antonino Salibra
|
|
2
|
Reasoning about interpretation in qualitative λmodels
– F Honsell, Ronchi della Rocca, S
- 1990
|
|
13
|
Etude des théories équationnelles et des propriétés algébriques des modèles stables du λ-calcul, thèse de Doctorat
– X Gouy
- 1995
|
|
44
|
What is a model of the lambda calculus
– Albert Meyer
- 1982
|
|
7
|
All Compact Hausdorff Lambda Models are Degenerate
– K. H. Hofmann, M. W. Mislove
|
|
28
|
Lambda calculus: Some models, some philosophy
– Dana Scott
- 1980
|
|
17
|
On The Algebraic Models Of Lambda Calculus
– Antonino Salibra
- 1997
|
|
11
|
Lambda abstraction algebras: coordinatizing models of lambda calculus
– D Pigozzi, A Salibra
- 1998
|
|
19
|
Strong Stability and the Incompleteness of Stable Models for λ-Calculus
– Olivier Bastonero, Xavier Gouy
- 1999
|
|
31
|
From computation to foundations via functions and application: The λ-calculus and its webbed models
– C Berline
|
|
59
|
Stable models of typed lambda-calculi
– G Berry
- 1978
|
