• DOI:10.1007/978-3-662-10394-4
Corpus ID: 2765256

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}
}

• S. Rocca, Luca Paolini
• Published in
  Texts in Theoretical Computer…
  2004
• Computer Science

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

View on Springer

beck-shop.de

Save to Library

Create Alert

Cite

Launch Research Feed