Andrea Schalk

Available identifiers

zbMath Open schalk.andreaMaRDI QIDQ689272

List of research outcomes

Publication	Date of Publication	Type
A fully abstract denotational model for observational precongruence	2024-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q5076063	2022-05-12	Paper
Constructing Fully Complete Models for Multiplicative Linear Logic	2017-05-16	Paper
Constructing Fully Complete Models of Multiplicative Linear Logic	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	2004-08-06	Paper
Glueing and orthogonality for models of linear logic	2003-07-29	Paper
A fully abstract denotational model for observational precongruence	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4499228	2001-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4250365	1999-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4868226	1996-03-06	Paper
Domains arising as algebras for powerspace constructions	1994-08-22	Paper
Modelling Multiplicative Linear Logic via Deep Inference	N/A	Paper

Research outcomes over time

This page was built for person: Andrea Schalk