Realizing the Dependently Typed Lambda Calculus.

DOI10.4230/LIPIcs.ICLP.2010.294zbMath1237.68126OpenAlexW1588631167MaRDI QIDQ2883111

Zachary Snow

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_37b5.html

zbMATH Keywords

logic programminglogical frameworks

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Combinatory logic and lambda calculus (03B40)

Uses Software

• Prolog
• Twelf
• Tac
• Abella

This page was built for publication: Realizing the Dependently Typed Lambda Calculus.