Travelled to:1 × Denmark
1 × Italy
1 × The Netherlands
1 × United Kingdom
2 × Poland
Collaborated with:∅ C.Faggian A.Schalk J.Power P.N.Benton G.M.Bierman V.d.Paiva R.Harmer P.Melliès A.Alcolei P.Clairambault G.Winskel
Talks about:calculus (3) strategi (2) linear (2) intuitionist (1) combinator (1) interpret (1) sequenti (1) proposit (1) herbrand (1) function (1)
Person: Martin Hyland
DBLP: Hyland:Martin
Contributed to:
2007
200420022002
2000
199319922018Wrote 8 papers:
- LICS-2007-HarmerHM #category theory #combinator
- Categorical Combinatorics for Innocent Strategies (RH, MH, PAM), pp. 379–388.
- CSL-2004-Hyland #abstract interpretation #calculus #proving
- Abstract Interpretation of Proofs: Classical Propositional Calculus (MH), pp. 6–21.
- CSL-2002-FaggianH #design
- Designs, Disputes and Strategies (CF, MH), pp. 442–457.
- LICS-2002-HylandS #game studies #graph
- Games on Graphs and Sequentially Realizable Functionals (MH, AS), pp. 257–264.
- PPDP-2000-HylandP #sketching #symmetry
- Symmetric monoidal sketches (MH, JP), pp. 280–288.
- TLCA-1993-BentonBPH #calculus #linear #logic
- A Term Calculus for Intuitionistic Linear Logic (PNB, GMB, VdP, MH), pp. 75–90.
- CSL-1992-BentonBPH #linear #modelling #revisited #λ-calculus
- Linear λ-Calculus and Categorial Models Revisited (PNB, GMB, VdP, MH), pp. 61–84.
- CSL-2018-AlcoleiCHW #concurrent #theorem
- The True Concurrency of Herbrand's Theorem (AA, PC, MH, GW), p. 22.