scientific article; zbMATH DE number 2006628

zbMath1024.03015MaRDI QIDQ4436024

Jesse Alt, Sergej N. Artemov

Publication date: 23 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2183/21830022.htm

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (3)

J-Calc: a typed lambda calculus for intuitionistic justification logic ⋮ Semirings of Evidence ⋮ A modal logic internalizing normal proofs

This page was built for publication: