scientific article; zbMATH DE number 4024773

zbMATH Open0629.68032MaRDI QIDQ3766840FDOQ3766840

Authors: Maarten M. Fokkinga 

Publication date: 1987

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

Recommendations

• An Introduction to the Lambda Calculus
• scientific article; zbMATH DE number 5318491
• Notions of computation and monads
• Publication:4864231
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II

zbMATH Keywords

Lambda Calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Subtyping can have a simple semantics

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 Q3766840)