( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Introduction to higher order categorical logic

, и . Cambridge University Press, (25.03.1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Philip J Havik

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Felix Markus Hubertus Scotti

 

Другие публикации лиц с тем же именем

Introduction to higher order categorical logic, и . Cambridge University Press, (25.03.1994)Towards a typed Geometry of Interaction., и . Math. Struct. Comput. Sci., 20 (3): 473-521 (2010)A Categorical Model for the Geometry of Interaction., и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 708-720. Springer, (2004)The "Dialectica" Interpretation and Categories.. Math. Log. Q., 24 (31-36): 553-575 (1978)What Personal Health Records are People with Long-Term Conditions Using?, и . HCI (37), том 1580 из Communications in Computer and Information Science, стр. 3-9. Springer, (2022)Federated Identity and Access Management for the Internet of Things., , , и . SIoT, стр. 10-17. IEEE Computer Society, (2014)Normalization by Evaluation for Typed Lambda Calculus with Coproducts., , , и . LICS, стр. 303-310. IEEE Computer Society, (2001)A categorical model for the geometry of interaction., и . Theor. Comput. Sci., 350 (2-3): 252-274 (2006)Deploying electronic document management to improve access to hospital medical records., и . Journal of Management & Marketing in Healthcare, 2 (2): 151 - 160 (2009)Digital health and patient safety: Technology is not a magic wand., , и . Health Informatics J., 26 (4): 2295-2299 (2020)