Author of the publication

A note on russell's paradox in locally cartesian closed categories.

, and . Stud Logica, 48 (3): 377-387 (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.

 

Other publications of authors with the same name

Towards a Reuse Policy.. TOOLS (12/9), page 49-60. Prentice Hall, (1993)Computably Based Locally Compact Spaces. CoRR, (2005)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)Extensible Systems - The Tigger Approach., , , , , and . ACM SIGOPS European Workshop, page 151-153. ACM, (1994)Knowledge management with patterns., and . Commun. ACM, 46 (7): 94-99 (2003)A note on russell's paradox in locally cartesian closed categories., and . Stud Logica, 48 (3): 377-387 (1989)Heterogeneous relation graphs as a formalism for representing linguistic information., , and . Speech Commun., 33 (1-2): 153-174 (2001)Health Informatics Education for the Clinical Workforce., , , , and . MedInfo, volume 192 of Studies in Health Technology and Informatics, page 1233. IOS Press, (2013)China intros Godson-3. the Inquirer, (Aug 28, 2008)