scientific article; zbMATH DE number 1231511

zbMath0908.03020MaRDI QIDQ4222823

G. M. Bierman

Publication date: 13 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume3.htm#bierman

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

natural deductioncomputational interpretationcontinuation programmingcontinuation-passing paradigmmultiple-conclusion formulationtyped \(\lambda\)-calculus for classical linear logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items

Proof-search in type-theoretic languages: An introduction

This page was built for publication: