search result

Cover von Selected papers of the 4th summer conference on category theory and computer science, Paris, France, September 1991
Search for this author
Year: 1993
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 115. 1993, 1
Media group: SPECIAL ISSUE
Cover von Typed lambda calculi and applications
5th international conference, Krakow, Poland, May 2 - 5, 2001: proceedings
Search for this author
Year: 2001
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2044
Media group: MONOGRAPHIE
Cover von Mathematical Foundations of Information Flow
Clifford Lectures : Information Flow in Physics, Geometry, Logic and Computation, March 12 - 15, 2008, Tulane University, New Orleans, Louisiana
Search for this author
Year: 2012
Publisher: Providence, American Mathematical Society
Series: Proceedings of symposia in applied mathematics; 71
Media group: MONOGRAPHIE
Cover von Category theory and computer programming
tutorial and workshop : Guildford, U.K., September 16 - 20, 1985 : proceedings
Search for this author
Year: 1986
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 240
Media group: MONOGRAPHIE
Cover von Comonadic semantics for hybrid logic

Comonadic semantics for hybrid logic

Year: 2022
Media group: LIPIcs
Cover von Arboreal Categories and Resources

Arboreal Categories and Resources

Year: 2021
Media group: LIPIcs
Cover von Relating Structure and Power

Relating Structure and Power

Comonadic Semantics for Computational Resources
Year: 2018
Media group: LIPIcs
Cover von Information Flow and Its Applications; 8
pp. 99-112
Search for this author
Year: 2012
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von Commutation Groups and State-Independent Contextuality

Commutation Groups and State-Independent Contextuality

Year: 2024
Media group: LIPIcs
Cover von Category theory and computer science
Paris, France, September 3 - 6, 1991 : proceedings
Search for this author
Year: 1991
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 530
Media group: MONOGRAPHIE
OPEN V 11.1.0.0