BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hyland:Martin

Contributed to:

LICS 20072007
CSL 20042004
CSL 20022002
LICS 20022002
PPDP 20002000
TLCA 19931993
CSL 19921992
CSL 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.