scientific article
From MaRDI portal
Publication:3478387
zbMath0701.03012MaRDI QIDQ3478387
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive set theoretical context for the logic of Petri netshyperdoctrine model of polymorphic linear logiclinear fibrationtopos model
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topoi (18B25)
Related Items (2)
Proof Nets, Coends and the Yoneda Isomorphism ⋮ Linear realizability and full completeness for typed lambda-calculi
This page was built for publication:
