Andrea Schalk

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A fully abstract denotational model for observational precongruence	2024-06-21	Paper
scientific article; zbMATH DE number 7526057 (Why is no real title available?)	2022-05-12	Paper
scientific article; zbMATH DE number 7526057 (Why is no real title available?) (available as arXiv preprint)	2022-05-12	Paper
Constructing fully complete models for multiplicative linear logic 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
Constructing Fully Complete Models of Multiplicative Linear Logic Logical Methods in Computer Science	2015-10-29	Paper
Concrete data structures as games	2013-09-20	Paper
Modelling Linear Logic Without Units (Preliminary Results)	2005-04-03	Paper
Poset-valued sets or how to build models for linear logics Theoretical Computer Science	2004-08-06	Paper
Glueing and orthogonality for models of linear logic Theoretical Computer Science	2003-07-29	Paper
A fully abstract denotational model for observational precongruence Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1497810 (Why is no real title available?)	2001-03-04	Paper
scientific article; zbMATH DE number 1303730 (Why is no real title available?)	1999-11-23	Paper
scientific article; zbMATH DE number 851999 (Why is no real title available?)	1996-03-06	Paper
Domains arising as algebras for powerspace constructions Journal of Pure and Applied Algebra	1994-08-22	Paper
Modelling Multiplicative Linear Logic via Deep Inference (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Andrea Schalk