scientific article

From MaRDI portal

Publication:3142911

Jump to:navigation, search

zbMath0788.03015MaRDI QIDQ3142911

Publication date: 9 January 1994

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

zbMATH Keywords

type system typing call by name storage operators call by value Church integers closed \(\lambda\)-terms closed term

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Opérateurs de mise en mémoire et types $\forall $-positifs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3142911&oldid=16436471"