| Property |
Value |
| dbo:abstract
|
- (John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique. (fr)
- (John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique. (fr)
|
| dbo:almaMater
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:influenced
| |
| dbo:influencedBy
| |
| dbo:institution
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:thumbnailCaption
|
- Martin Hyland, lors de la cérémonie de remise d'undoctorat honoris causaà l'université de Bath, le 30 juin 2015
|
| dbo:university
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7008 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1975 (xsd:integer)
- 1982 (xsd:integer)
- 2000 (xsd:integer)
- 2006 (xsd:integer)
- 2021 (xsd:integer)
|
| prop-fr:auteur
|
- Gavin Bierman (fr)
- Martin Hyland (fr)
- Nick Benton (fr)
- Valeria de Paiva (fr)
- Gavin Bierman (fr)
- Martin Hyland (fr)
- Nick Benton (fr)
- Valeria de Paiva (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:date
| |
| prop-fr:diplôme
| |
| prop-fr:directeurThèse
| |
| prop-fr:doi
|
- 10.100600 (xsd:double)
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.420400 (xsd:double)
|
| prop-fr:domaines
| |
| prop-fr:formation
| |
| prop-fr:institutions
| |
| prop-fr:isbn
| |
| prop-fr:issn
| |
| prop-fr:journal
| |
| prop-fr:légende
| |
| prop-fr:nom
|
- Power (fr)
- Hyland (fr)
- Plotkin (fr)
- Ong (fr)
- Martin Hyland (fr)
- Tasson (fr)
- Power (fr)
- Hyland (fr)
- Plotkin (fr)
- Ong (fr)
- Martin Hyland (fr)
- Tasson (fr)
|
| prop-fr:nomDeNaissance
|
- John Martin Elliott Hyland (fr)
- John Martin Elliott Hyland (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 664 (xsd:integer)
|
| prop-fr:pages
|
- 70 (xsd:integer)
- 83 (xsd:integer)
- 165 (xsd:integer)
- 215 (xsd:integer)
- 285 (xsd:integer)
|
| prop-fr:passage
| |
| prop-fr:prénom
|
- Gordon (fr)
- John (fr)
- Martin (fr)
- Christine (fr)
- C.-H.L. (fr)
- J. M. E. (fr)
- J.M.E. (fr)
- Gordon (fr)
- John (fr)
- Martin (fr)
- Christine (fr)
- C.-H.L. (fr)
- J. M. E. (fr)
- J.M.E. (fr)
|
| prop-fr:périodique
|
- Studies in Logic and the Foundations of Mathematics (fr)
- TLCA 1993: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications (fr)
- Studies in Logic and the Foundations of Mathematics (fr)
- TLCA 1993: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications (fr)
|
| prop-fr:site
| |
| prop-fr:titre
|
- A survey of some useful partial order relations on terms of the lambda calculus (fr)
- A term calculus for Intuitionistic Linear Logic (fr)
- Combining effects: Sum and tensor (fr)
- On Full Abstraction for PCF: I, II, and III (fr)
- The Effective Topos (fr)
- The linear-non-linear substitution 2-monad (fr)
- A survey of some useful partial order relations on terms of the lambda calculus (fr)
- A term calculus for Intuitionistic Linear Logic (fr)
- Combining effects: Sum and tensor (fr)
- On Full Abstraction for PCF: I, II, and III (fr)
- The Effective Topos (fr)
- The linear-non-linear substitution 2-monad (fr)
|
| prop-fr:volume
|
- 37 (xsd:integer)
- 110 (xsd:integer)
- 163 (xsd:integer)
- 333 (xsd:integer)
- 357 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Lecture Notes in Computer Science (fr)
- Lecture Notes in Computer Science (fr)
|
| prop-fr:étudiantsThèse
|
- Eugenia Cheng, Valeria de Paiva (fr)
- Eugenia Cheng, Valeria de Paiva (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- (John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique. (fr)
- (John) Martin Elliott Hyland est professeur de logique mathématique à l'université de Cambridge et fellow du King's College de Cambridge. Ses thèmes de recherche incluent la logique mathématique, la théorie des catégories et l'informatique théorique. (fr)
|
| rdfs:label
|
- Martin Hyland (fr)
- Martin Hyland (en)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- (fr)
- Martin Hyland (fr)
- (fr)
- Martin Hyland (fr)
|
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
