Mathematical models of computational and combinatorial structures von FIORE, Marcelo P

Volltext

Quotients, inductive types, and quotient inductive types von Fiore, Marcelo P., Pitts, Andrew M., Steenkamp, S. C.

Volltext

Domains in H von FIORE, Marcelo P, ROSOLINI, Giuseppe

Volltext

Unique factorisation lifting functors and categories of linearly-controlled processes von BUNGE, MARTA, FIORE, MARCELO P.

Volltext

An enrichment theorem for an axiomatisation of categories of domains and continuous functions von FIORE, MARCELO P.

Volltext

Quotients, inductive types, and quotient inductive types von Fiore, Marcelo P, Pitts, Andrew M, Steenkamp, S C

Volltext

Domains in [formula omitted] von Fiore, Marcelo P., Rosolini, Giuseppe

Volltext

Topology via Logic von Fiore, Marcelo P

Volltext

Lifting as a KZ-doctrine von Fiore, Marcelo P.

Volltext

A Coinduction Principle for Recursive Data Types Based on Bisimulation von Fiore, Marcelo P.

Volltext

An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory von Fiore, Marcelo P., Plotkin, Gordon D.

Volltext

Fibred models of processes : Discrete, continuous, and hybrid systems von FIORE, M. P

Volltext

Two models of synthetic domain theory von Fiore, Marcelo P., Rosolini, Giuseppe

Volltext

The Bicategory-Theoretic Solution of Recursive Domain Equations von Cattani, Gian Luca, Fiore, Marcelo P.

Volltext

Syntactic considerations on recursive types von Abadi, M., Fiore, M.P.

Volltext

Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic: Extended Abstract von Fiore, Marcelo P.

Volltext

Weak Bisimulation and Open Maps von Fiore, Marcelo P., Cattani, Gian Luca, Winskel, Glynn

Volltext

Mathematical Models of Computational and Combinatorial Structures: Invited Address von Fiore, Marcelo P.

Volltext

Axiomatic Domain Theory in Categories of Partial Maps von Fiore, Marcelo P

Volltext bestellen

A Theory of Recursive Domains with Applications to Concurrency von Cattani, Gian Luca, Fiore, Marcelo P., Winskel, Glynn

Volltext