The following pages link to Marcelo P. Fiore (Q678838):
Displaying 50 items.
- Two models of synthetic domain theory (Q678839) (← links)
- On the concrete representation of discrete enriched abstract clones (Q680310) (← links)
- (Q703806) (redirect page) (← links)
- (Q198855) (redirect page) (← links)
- (Q1652909) (redirect page) (← links)
- Objects of categories as complex numbers (Q703807) (← links)
- An abstract characterization of Thompson's group \(F\). (Q972594) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- On the construction of free algebras for equational systems (Q1014644) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- A coinduction principle for recursive data types based on bisimulation (Q1923102) (← links)
- Constructing infinitary quotient-inductive types (Q2200826) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- An objective representation of the Gaussian integers (Q2643534) (← links)
- A theory of effects and resources: adjunction models and polarised calculi (Q2828243) (← links)
- (Q2847808) (← links)
- An Equational Metalogic for Monadic Equational Systems (Q2855643) (← links)
- The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151) (← links)
- Discrete Generalised Polynomial Functors (Q3167013) (← links)
- On the mathematical synthesis of equational logics (Q3224678) (← links)
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums (Q3452250) (← links)
- Isomorphisms of generic recursive polynomial types (Q3452251) (← links)
- Second-Order Equational Logic (Extended Abstract) (Q3586049) (← links)
- Second-Order Algebraic Theories (Q3586098) (← links)
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic (Q3612629) (← links)
- (Q4222887) (← links)
- (Q4263868) (← links)
- (Q4362914) (← links)
- An enrichment theorem for an axiomatisation of categories of domains and continuous functions (Q4366772) (← links)
- Axiomatic Domain Theory in Categories of Partial Maps (Q4396180) (← links)
- Unique factorisation lifting functors and categories of linearly-controlled processes (Q4487268) (← links)
- (Q4536442) (← links)
- Substitution, jumps, and algebraic effects (Q4635626) (← links)
- (Q4680362) (← links)
- Order-enrichment for categories of partial maps (Q4882490) (← links)
- The Algebra of Directed Acyclic Graphs (Q4922072) (← links)
- (Q4936144) (← links)
- Lawvere theories and C-systems (Q4959711) (← links)
- Lifting as a KZ-doctrine (Q5057470) (← links)
- Coherence for bicategorical cartesian closed structure (Q5068207) (← links)
- (Q5094144) (← links)
- Classical logic with Mendler induction (Q5108017) (← links)
- List Objects with Algebraic Structure (Q5111312) (← links)
- Algebraic models of simple type theories (Q5145623) (← links)
- Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure (Q5145652) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
- System F i (Q5300891) (← links)
