The involutions-as-principal types/application-as-unification Analogy

From MaRDI portal

Revision as of 18:04, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5222959

Jump to:navigation, search

DOI10.29007/ntwgzbMath1416.03009OpenAlexW2907463927MaRDI QIDQ5222959

Alberto Ciaffaglione, Ivan Scagnetto, Furio Honsell, Marina Lenisa

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/ntwg

zbMATH Keywords

lambda calculus games geometry of interaction reversible computations

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

lambda!-calculus, Intersection Types, and Involutions

This page was built for publication: The involutions-as-principal types/application-as-unification Analogy

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

Pages with script errors