scientific article

From MaRDI portal

Publication:3024902

Jump to:navigation, search

zbMath1063.68598MaRDI QIDQ3024902

Antonio Bucciarelli

Publication date: 4 July 2005

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

zbMATH Keywords

stable model PCF logical relations simply typed \(\lambda\)-calculi Scott-continuous model

Mathematics Subject Classification ID

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

Related Items (1)

This page was built for publication:

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