The Parametric Lambda Calculus

@inproceedings{Rocca2004ThePL,
  title={The Parametric Lambda Calculus},
  author={S. Rocca and Luca Paolini},
  booktitle={Texts in Theoretical Computer Science},
  year={2004}
}
ion, 3 active, 9 Ee, 42 algorithm r -separability, 52 A-separability, 32 N-Semiseparability, 160 semiseparability, 138 application, 3 approximant, 124 ..In, 185 Ln, 165 defined, 159 maximal along a path, 139 upper, 185 arguments, 8 basis, 109 agree, 114 finite, 133, 154, 168, 195 binder,4 block head, 8 body, 8 calculus AA, 25 Ar, 35 A.1, 6 complete, 69 correct, 69 call-by-name, 8, 25 call-by-value, 8, 35 closure Var, 7 reduction, 7 substitution, 7 compact, 207 compact-as-types procedure, 212… Expand
38 Citations
Two Formal Systems of the $λδ$ Family Revised
Solvability in Resource Lambda-Calculus
  • 36
  • PDF
Two Formal Systems of the $\lambda\delta$ Family Revised
ASMs and Operational Algorithmic Completeness of Lambda Calculus
  • 9
  • PDF
A Formal System for the Universal Quantification of Schematic Variables.
  • F. Guidi
  • Mathematics, Computer Science
  • 2020
  • PDF
The weak lambda calculus as a reasonable machine
  • 42
  • PDF
Revisiting Elementary Denotational Semantics
  • Highly Influenced
  • PDF
Factorization and Normalization, Essentially
  • 4
  • PDF
Crumbling Abstract Machines
  • 7
  • PDF
...
1
2
3
4
...

References

SHOWING 1-10 OF 93 REFERENCES
Type Theories, Normal Forms and D_\infty-Lambda-Models
  • 72
  • Highly Influential
Strong Stability and the Incompleteness of Stable Models for lambda-Calculus
  • 25
A complete characterization of complete intersection-type preorders
  • 28
  • PDF
The duality of computation
  • 427
  • PDF
Models of the Lambda Calculus
  • 90
  • PDF
Lambda-Definition of Function(al)s by Normal Forms
  • 17
  • PDF
Call-by-Value Separability and Computability
  • 16
Domains and lambda-calculi
  • R. Amadio, P. Curien
  • Computer Science, Mathematics
  • Cambridge tracts in theoretical computer science
  • 1998
  • 349
Domain Theory in Logical Form
  • 536
  • PDF
From computation to foundations via functions and application: The -calculus and its webbed models
  • 71
...
1
2
3
4
5
...