scientific article; zbMATH DE number 1342287

zbMath0931.03026MaRDI QIDQ4263878

Erik Poll, Jan Zwanenburg

Publication date: 21 November 1999

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

zbMATH Keywords

abstract data typesexistential typesproof principlessecond-order lambda calculusreasoning about specificationsequivalence of data representationslogic for parametricity

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Observational logic, constructor-based logic, and their duality. ⋮ From Algebras and Coalgebras to Dialgebras

Uses Software

• Nuprl
• Automath

This page was built for publication: