Self-Representation in Girard's System U

DOI10.1145/2676726.2676988zbMath1345.68039OpenAlexW2041111005MaRDI QIDQ2819833

No author found.

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2676726.2676988

zbMATH Keywords

typeslambda calculusself-representation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Self-quotation in a typed, intensional lambda-calculus ⋮ Incorporating quotation and evaluation into Church's type theory

This page was built for publication: Self-Representation in Girard's System U