( en | de | ru )

 

Disambiguation of "Taylor, Paul"

Author of the publication

copydeleteadd this publication to your clipboard
Proofs and Types

, , and . Cambridge University Press, Cambridge, (April 1989)

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. You can also use the button next to the name to display some publications already assigned to the person.

Paul Taylor

Ulrike Taylor

Frank Taylor

Russel Taylor

Astrid Taylor

 

Other publications of authors with the same name

Computably Based Locally Compact Spaces. CoRR, (2005)Knowledge management with patterns., and . Commun. ACM, 46 (7): 94-99 (2003)Extensible Systems - The Tigger Approach., , , , , and . ACM SIGOPS European Workshop, page 151-153. ACM, (1994)Research Paper: Use of a Computerized Guideline for Glucose Regulation in the Intensive Care Unit Improved Both Guideline Adherence and Glucose Regulation., , , , and . JAMIA, 12 (2): 172-180 (2005)Quantitative Domains, Groupoids and Linear Logic.. Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 155-181. Springer, (1989)A note on russell's paradox in locally cartesian closed categories., and . Stud Logica, 48 (3): 377-387 (1989)Health Informatics Education for the Clinical Workforce., , , , and . MedInfo, volume 192 of Studies in Health Technology and Informatics, page 1233. IOS Press, (2013)Heterogeneous relation graphs as a formalism for representing linguistic information., , and . Speech Commun., 33 (1-2): 153-174 (2001)China intros Godson-3. the Inquirer, (Aug 28, 2008)Towards a Reuse Policy.. TOOLS (12/9), page 49-60. Prentice Hall, (1993)