Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.

Chiyan Chen Dengping Zhu Hongwei Xi

Published in: PADL (2004)

Keyphrases

cut elimination
sequent calculus
linear logic
programming language
artificial intelligence
general purpose
modal logic
wide class