scientific article

From MaRDI portal

Publication:2753695

Jump to:navigation, search

zbMath0973.68148MaRDI QIDQ2753695

Edmund P. Robinson, A. John Power

Publication date: 11 November 2001

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

zbMATH Keywords

interpretations lambda calculus logical relations Cartesian closed fibrations

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Prelogical relations

This page was built for publication:

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