scientific article

From MaRDI portal

Publication:4010353

Jump to:navigation, search

zbMath0751.03027MaRDI QIDQ4010353

Roberto Di Cosmo

Publication date: 27 September 1992

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

zbMATH Keywords

cartesian closed category constructive equivalence Intuitionistic propositional calculus

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof theory in general (including proof-theoretic semantics) (03F03) Natural morphisms, dinatural morphisms (18A23) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (1)

The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4010353&oldid=17709790"