scientific article; zbMATH DE number 814793

zbMath0837.68057MaRDI QIDQ4855338

Kim B. Bruce

Publication date: 16 April 1996

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

zbMATH Keywords

lambda calculusbounded fun

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items (3)

Specification and verification of object-oriented programs using supertype abstraction ⋮ Alpha conversion, conditions on variables and categorical logic ⋮ Explicit mathematics: power types and overloading

Uses Software

• Smalltalk
• Eiffel
• Simula 67

This page was built for publication: