Hyland, J. M. E.
Hyland, John Martin Elliott.
Martin Hyland British mathematician
VIAF ID: 164384846 ( Personal )
Permalink: http://viaf.org/viaf/164384846
Preferred Forms
- 100 1 _ ‡a Hyland, J. M. E.
- 100 1 _ ‡a Hyland, J. M. E.
-
-
- 100 1 _ ‡a Hyland, John Martin Elliott
-
- 100 0 _ ‡a Martin Hyland ‡c British mathematician
4xx's: Alternate Name Forms (15)
Works
Title | Sources |
---|---|
Categorical type theory | |
Categories and String Diagrams for Game Semantics. | |
Catégories et diagrammes de cordes pour les jeux concurrents | |
Combinatoire catégorielle pour les stratégies innocentes non-déterministes. | |
Constructions d'orthogonalité bicatégoriques pour la logique linéaire. | |
Logic colloquium 76, proceedings of a conference held in Oxford in july 1976 | |
Logic : from foundation to applications : European logic colloquium | |
On Forcing and Classical Realizability | |
Recursion theory on the countable functionals | |
Sémantique algébrique des ressources pour la logique classique | |
Structures concurrentes en sémantique des jeux | |
Transformations de forcing et algèbres de monitoring. | |
Types inductifs, fonctionnels et non-linéaires en ludique. |