scientific article

zbMATH Open0644.68022MaRDI QIDQ3787444

Jon G. Riecke, Kim B. Bruce

Publication date: 1988

Title of this publication is not available (Why is that?)

zbMATH Keywords

polymorphismdenotational semanticstyped lambda calculusMirandaalgebraic typestype constructors

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)

Related Items (1)

On the Structure of Mizar Types

Uses Software

• Miranda

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3787444)