Logical relations for a logical framework

DOI10.1145/2536740.2536741zbMath1353.68252OpenAlexW2089613687MaRDI QIDQ2946721

Florian Rabe, Kristina Sojakova

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

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

zbMATH Keywords

logical frameworklogical relationmodule systemparametricitydependent type theoryLFTwelf

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (3)

Lax Theory Morphisms ⋮ Mechanizing proofs with logical relations – Kripke-style ⋮ Pointers in Recursion: Exploring the Tropics

Uses Software

• Twelf

This page was built for publication: Logical relations for a logical framework