Author:
Clairambault Pierre,Dybjer Peter
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abel, A.: Normalization by Evaluation: Dependent Types and Impredicativity. Institut für Informatik, Ludwig-Maximilians-Universität München, Habilitation thesis (May 2013)
2. Abel, A., Aehlig, K., Dybjer, P.: Normalization by evaluation for Martin-Löf type theory with one universe. In: 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIII. Electronic Notes in Theoretical Computer Science, pp. 17–40. Elsevier (2007)
3. Abramsky, S., Jagadeesan, R., Malacaria, P.: Full abstraction for PCF. Inf. Comput. 163(2), 409–470 (2000)
4. Aehlig, K., Joachimski, F.: Operational aspects of untyped normalisation by evaluation. Mathematical Structures in Computer Science 14(4) (2004)
5. Amadio, R., Curien, P.-L.: Domains and lambda-calculi, vol. 46. Cambridge University Press (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Compositional Cost Model for the λ-calculus;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29