Follow
Andrea Schalk
Andrea Schalk
School of Computer Science, University of Manchester
Verified email at manchester.ac.uk
Title
Cited by
Cited by
Year
Glueing and orthogonality for models of linear logic
M Hyland, A Schalk
Theoretical computer science 294 (1-2), 183-231, 2003
1532003
Algebras for generalized power constructions
A Schalk
BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 53, 491-491, 1994
1041994
Games on graphs and sequentially realizable functionals. Extended abstract
M Hyland, A Schalk
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 257-264, 2002
622002
Abstract games for linear logic extended abstract
M Hyland, A Schalk
Electronic Notes in Theoretical Computer Science 29, 127-150, 1999
371999
What is a categorical model of linear logic
A Schalk
Manuscript, available from http://www. cs. man. ac. uk/∼ schalk/work. html, 2004
302004
Modelling linear logic without units (preliminary results)
R Houston, D Hughes, A Schalk
arXiv preprint math/0504037, 2005
162005
Poset-valued sets or how to build models for linear logics
A Schalk, V De Paiva
Theoretical computer science 315 (1), 83-107, 2004
132004
Introduction to category theory in for easy movements
A Schalk, H Simmons
122005
The Theory of Games and Game Models
A Schalk
Department of Computer Science, University of Manchester, 2003
102003
Modelling linear logic without units
R Houston, D Hughes, A Schalk
92008
Domains arising as algebras for powerspace constructions
A Schalk
Journal of Pure and Applied Algebra 89 (3), 305-328, 1993
91993
An introduction to category theory in four easy movements
A Schalk, H Simmons
Notes for a course offered as part of the MSc. in Mathematical Logic …, 2005
82005
Concrete data structures as games
A Schalk, JJ Palacios-Perez
Electronic Notes in Theoretical Computer Science 122, 193-210, 2005
72005
A fully abstract denotational model for observational precongruence
A Ingólfsdóttir, A Schalk
Theoretical computer science 254 (1-2), 35-61, 2001
6*2001
Building models of linear logic
V Paiva, A Schalk
International Conference on Algebraic Methodology and Software Technology …, 1999
61999
CONSTRUCTING FULLY COMPLETE MODELS OF MULTIPLICATIVE LINEAR LOGIC
A Schalk, HP Steele
Logical Methods in Computer Science 11, 1-72, 2015
32015
Whats is a categorical model of linear logic
A Schalk
32004
Some notes on (double) glueing along hom-functors
A Schalk
Available, 2007
12007
Some notes on monads
A Schalk
12002
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
J Razavi, A Schalk
arXiv preprint arXiv:1904.10109, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20