Proceedings of the International Conference on Typed Lambda Calculi and Applications

Authors:
Marc Bezem;Jan Friso Groote
Affiliations:
-;-
Venue:
TLCA '93 Proceedings of the International Conference on Typed Lambda Calculi and Applications
Year:
1993

From Algol to polymorphic linear lambda-calculus

Journal of the ACM (JACM)
Semantic analysis of normalisation by evaluation for typed lambda calculus

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Proof-assistants using dependent type systems

Handbook of automated reasoning
Engineering formal metatheory

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Hi-index	0.01