Andrea Schalk

Available identifiers

zbMath Open schalk.andreaMaRDI QIDQ689272

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2849886	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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrea Schalk