scientific article; zbMATH DE number 1377610

From MaRDI portal

Publication:4703039

Jump to:navigation, search

zbMath0945.68510MaRDI QIDQ4703039

M. Hashimoto, Atsushi Ohori

Publication date: 14 December 1999

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

zbMATH Keywords

combinatory logic intersection typing system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

This page was built for publication:

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