Normalisation by Evaluation for Dependent Types.

From MaRDI portal

Revision as of 00:32, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5369471

Jump to:navigation, search

DOI10.4230/LIPIcs.FSCD.2016.6zbMath1387.68060OpenAlexW2510726753MaRDI QIDQ5369471

Thorsten Altenkirch, Ambrus Kaposi

Publication date: 17 October 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.6

zbMATH Keywords

dependent types Agda logical relations normalisation by evaluation internal type theory

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Normalization by evaluation for modal dependent type theory ⋮ Canonicity and normalization for dependent type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Normalisation by Evaluation for Dependent Types.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5369471&oldid=20077371"