|
1
|
Term Equational Systems and Logics (Extended Abstract)
– Marcelo Fiore, Chung-kil Hur
|
|
|
Algebraic Meta-Theories and . . .
– Marcelo Fiore
|
|
|
Second-Order Equational Logic (Extended Abstract)
– Marcelo Fiore, Chung-kil Hur
|
|
3
|
AN EFFICIENT NOMINAL UNIFICATION ALGORITHM
– Jordi Levy, Mateu Villaret
|
|
1
|
Finitary construction of free algebras for equational systems
– Marcelo Fiore, Chung-kil Hur
- 2008
|
|
8
|
Countable Lawvere Theories and Computational Effects
– John Power
- 2006
|
|
15
|
Nominal rewriting
– Maribel Fernández, Murdoch J. Gabbay
|
|
5
|
On the construction of free algebras for equational systems
– Marcelo Fiore, Chung-Kil Hur
- 2009
|
|
|
Dependent Types for a Nominal Logical Framework
– Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro
- 2012
|
|
162
|
Fresh Logic
– Murdoch J. Gabbay, Aad Mathijssen
- 2007
|
|
|
Closed
– Maribel Fernández
|
|
|
Nominal Matching and Alpha-Equivalence ⋆ (Extended Abstract)
– Christophe Calvès, Maribel Fernández
|
|
5
|
Nominal unification from a higher-order perspective
– Jordi Levy, Mateu Villaret
|
|
|
The lambda-calculus is nominal algebraic
– Murdoch J. Gabbay, Aad Mathijssen
|
|
1
|
Nominal Unification Revisited
– Christian Urban
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
1
|
Equational Systems and Free Constructions (Extended Abstract)
– Marcelo Fiore, Chung-kil Hur
|
|
|
MFPS 25 Preliminary Proceedings Two cotensors in one: Presentations of algebraic theories for local state and fresh names
– Sam Staton
|
