Found 12 Documents (Results 1–12)
A coinductive calculus of binary trees. (English) Zbl 1200.68082
MSC:
68P05
Functional interpretations of linear and intuitionistic logic. (English) Zbl 1193.03081
Reviewer: Gilda Ferreira (London)
Modules over monads and initial semantics. (English) Zbl 1200.68152
MSC:
68Q55
Numerical constraints on XML data. (English) Zbl 1200.68079
MSC:
68P05
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs. (English) Zbl 1200.68218
MSC:
68T15
68T27
Structured anaphora to quantifier domains. (English) Zbl 1200.68255
MSC:
68T50
Filter Results by …
all
top 5
Author
- Bernardi, Raffaella (1)
- Bolander, Thomas (1)
- Brasoveanu, Adrian (1)
- Calcagno, Cristiano (1)
- Carbone, Alessandra (1)
- Dinsdale-Young, Thomas (1)
- Foret, Annie (1)
- Gardner, Philippa Anne (1)
- Hansen, René Rydhof (1)
- Hartmann, Sven (1)
- Hirschowitz, André (1)
- Link, Sebastian (1)
- Maggesi, Marco (1)
- Moortgat, Michael (1)
- Oliva, Paulo (1)
- Rutten, Jan J. M. M. (1)
- Siders, Ryan (1)
- Silva, Alexandra (1)
- Solin, Kim (1)