An intuitionistic λ-calculus with exceptions

DOI10.1017/S0956796804005362zbMath1063.68030MaRDI QIDQ4664060

No author found.

Publication date: 5 April 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logic

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (2)

A System F with Call-by-Name Exceptions ⋮ Validating Brouwer's continuity principle for numbers using named exceptions

This page was built for publication: An intuitionistic λ-calculus with exceptions