scientific article

zbMath0624.68033MaRDI QIDQ3026332

Andrea Asperti

Publication date: 1986

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

zbMATH Keywords

data typesFriedman's homomorphismsmodels of typed \(\lambda \)-calculusPlotkin-Statman's logical relationstype-structures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

This page was built for publication: