The \(\lambda \mu^{\mathbf{T}}\)-calculus

DOI10.1016/J.APAL.2012.05.005zbMath1273.03053arXiv1204.0347OpenAlexW1584499102MaRDI QIDQ1946673

Herman Geuvers, James McKinna, Robbert Krebbers

Publication date: 15 April 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1204.0347

zbMATH Keywords

confluencestrong normalizationlambda-calculus with control

Mathematics Subject Classification ID

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

Related Items (1)

Programming and Proving with Classical Types

This page was built for publication: The \(\lambda \mu^{\mathbf{T}}\)-calculus