scientific article; zbMATH DE number 6744284

From MaRDI portal

Publication:5277970

Jump to:navigation, search

DOI10.4230/LIPICS.TYPES.2014.27zbMath1434.03080MaRDI QIDQ5277970

Maen Al Assaf

Publication date: 12 July 2017

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

zbMATH Keywords

calculus of constructions cumulativity type theory universes subtyping

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Related Items (1)

Session types and subtyping for orchestrated interactions

This page was built for publication:

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