scientific article; zbMATH DE number 1479608

zbMath0942.03528MaRDI QIDQ4490719

Scott D. Stoller, Douglas J. Howe

Publication date: 20 July 2000

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70)

Related Items (3)

Meaning explanations at higher dimension ⋮ Unifying sets and programs via dependent types ⋮ Unifying Sets and Programs via Dependent Types

Uses Software

• Isabelle/ZF
• Nuprl

This page was built for publication: