scientific article

zbMATH Open0988.03026MaRDI QIDQ2767025

Dieter Spreen

Publication date: 22 July 2002

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

A Polymorphic Type System for the Lambda-Calculus with Constructors

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