Publication:4364394
From MaRDI portal
zbMath0885.03029MaRDI QIDQ4364394
Franco Barbanera, Massimo Schivalocchi, Stefano Berardi
Publication date: 15 April 1998
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03F30: First-order arithmetic and fragments
03B40: Combinatory logic and lambda calculus
Related Items
Programming and Proving with Classical Types, Classical Logic with Mendler Induction, Toward the interpretation of non-constructive reasoning as non-monotonic learning, Herbrand's theorem as higher order recursion