Author:
Cockett J.R.B.,Hofstra Pieter J.W.
Subject
Algebra and Number Theory
Reference17 articles.
1. Lars Birkedal, Developing theories of types and computability via realizability, Ph.D. thesis, Carnegie Mellon University, 1999.
2. C. Brown, D. Gurr, V. de Paiva, A categorical linear framework for petri nets, Technical Report 363, University of Aarhus, Denmark, October 1991.
3. Introduction to Turing categories;Cockett;Annals of Pure and Applied Logic,2008
4. Restriction categories I;Cockett;Theoretical Computer Science,2002
5. Restriction categories II: Partial map classification;Cockett;Theoretical Computer Science,2003
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strict computability models over categories and presheaves;Journal of Logic and Computation;2022-11-09
2. Computability Models over Categories and Presheaves;Logical Foundations of Computer Science;2021-12-16
3. On the Semantics of Intensionality;Lecture Notes in Computer Science;2017
4. Encoding the Factorisation Calculus;Electronic Proceedings in Theoretical Computer Science;2015-08-26
5. Computability structures, simulations and realizability;Mathematical Structures in Computer Science;2013-06-05