Gian Luca Cattani - Wissenschaftliche Veröffentlichungen

(1 - 17 von 17

)

An Operational Understanding of Bisimulation from Open Maps

www.sciencedirect.com

von G Winskel · — This is joint work with Gian Luca Cattani. Previous article in issue; Next article in issue. Recommended articles. Citing articles (0). › pii

dblp: Gian Luca Cattani

dblp.uni-trier.de

List of computer science publications by Gian Luca Cattani

CiteSeerX — A Theory of Recursive Domains with Applications to...

citeseer.ist.psu.edu

by Gian Luca Cattani , Marcelo P. Fiore , Glynn Winskel ... University of Aarhus, Denmark (2) LFCS, University of Edinburgh, Scotland December Abstract ...

The Bicategory-Theoretic Solution of Recursive Domain Equations -...

www.sciencedirect.com

Gian Luca Cattani ... Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series, 177 (1992), pp. 95– ...

dblp: Electronic Notes in Theoretical Computer Science, Volume 172

dblp.uni-trier.de

Bibliographic content of Electronic Notes in Theoretical Computer Science, Volume 172

Search results for "Category Theory and Computer Science" –...

dblp.l3s.de

Gian Luca Cattani, Ian Stark, Glynn Winskel: Presheaf Models for the pi-Calculus. Category Theory and Computer Science : 1997: DBLP DOI BibTeX RDF: 1:

dblp: Ian Stark

dblp.uni-trier.de

List of computer science publications by Ian Stark

dblp: LICS 1998: Indianapolis, Indiana, USA

dblp.uni-trier.de

Bibliographic content of LICS 1998: Indianapolis, Indiana, USA

dblp: LICS 1999: Trento, Italy

dblp.uni-trier.de

Bibliographic content of LICS 1999: Trento, Italy

recursive domain equations Latest Research Papers

www.sciencegate.app

Electronic Notes in Theoretical Computer Science ◽ j.entcs ◽ ◽. Vol 172 ◽. pp Author(s):. Gian Luca Cattani ◽. › key...

dblp: Marcelo P. Fiore

dblp.uni-trier.de

List of computer science publications by Marcelo P. Fiore

dblp: Peter Sewell

dblp.uni-trier.de

List of computer science publications by Peter Sewell

dblp: Elena Pavlidis

dblp1.uni-trier.de

List of computer science publications by Elena Pavlidis

BibTeX records: Glynn Winskel - DBLP

dblp.uni-trier.de

@article{DBLP:journals/mscs/CattaniW05, author = {Gian Luca Cattani and Glynn Winskel}, title = {Profunctors, open maps and bisimulation}, journal = {Math. › pid › Gly...

Verwandte Suchanfragen zu Gian Luca Cattani

John Power
Umberto Poli
Jim Sorensen

Luigi Giorno

Personen
Vorname "Luca" (10642)
Name "Cattani" (136)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Gian Luca Cattani