A confluent λ-calculus with a catch/throw mechanism

DOI10.1017/S0956796899003512zbMath0954.68039MaRDI QIDQ4948005

Tristan Crolard

Publication date: 5 February 2001

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

zbMATH Keywords

catch\(\lambda\)-calculusthrow

Mathematics Subject Classification ID

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

Related Items (4)

A proof-theoretic foundation of abortive continuations ⋮ Strong normalizability of the non-deterministic catch/throw calculi ⋮ Unnamed Item ⋮ Intuitionistic Letcc via Labelled Deduction

This page was built for publication: A confluent λ-calculus with a catch/throw mechanism