|
10
|
Notions of computability at higher types I
– John Longley
- 2005
|
|
36
|
The sequentially realizable functionals
– John Longley
|
|
|
Matching typed and untyped realizability (Extended abstract)
– John Longley
|
|
1
|
The Visser topology of lambda calculus
– Chantal Berline, Giulio Manzonetto, Antonino Salibra
|
|
8
|
Lambda theories of effective lambda models
– Chantal Berline, Giulio Manzonetto, Antonino Salibra
- 2007
|
|
1
|
Applying Universal Algebra to Lambda Calculus
– Giulio Manzonetto, Antonino Salibra
- 2007
|
|
|
Effective λ-models versus recursively enumerable λ-theories
– Chantal Berline , Giulio Manzonetto , Antonino Salibra
|
|
10
|
The sensible graph theories of lambda calculus
– Antonio Bucciarelli, Antonino Salibra
- 2004
|
|
21
|
Topological Incompleteness and Order Incompleteness of the Lambda Calculus
– Antonino Salibra
- 2001
|
|
8
|
Boolean algebras for lambda calculus
– G. Manzonetto, A. Salibra
- 2006
|
|
|
Problem 19
– Alberto Carraro, Antonino Salibra, Università Ca Foscari
|
|
8
|
Density and Choice for Total Continuous Functionals
– Helmut Schwichtenberg
- 1996
|
|
6
|
On sequential functionals of type 3
– Dag Normann
- 2006
|
|
24
|
Equilogical Spaces
– Andrej Bauer, Lars Birkedal, Dana S. Scott
- 1998
|
|
7
|
Recursion on the partial continuous functionals
– Helmut Schwichtenberg
- 2006
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
5
|
Comparing Hierarchies of Types in Models of Linear Logic
– Paul-Andre Mellies
- 2003
|
|
9
|
The Minimal Graph Model of Lambda Calculus
– Antonio Bucciarelli, Antonino Salibra
|
|
1
|
Sheaf Toposes for Realizability
– Steven Awodey, Andrej Bauer
- 2001
|
