Gavin M. Bierman

Available identifiers

Publication	Date of Publication	Type
Separation logic and abstraction	2017-07-14	Paper
Safe \& efficient gradual typing for TypeScript	2016-09-29	Paper
Semantic subtyping with an SMT solver	2015-03-05	Paper
Separation logic, abstraction and inheritance	2014-09-12	Paper
Gradual typing embedded securely in JavaScript	2014-04-10	Paper
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion	2013-05-10	Paper
Semantic subtyping with an SMT solver	2012-09-21	Paper
Extending relational algebra with similarities	2012-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q3024825	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4461801	2004-05-18	Paper
Strong normalisation of cut-elimination in classical logic	2002-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q2777490	2002-03-07	Paper
On an intuitionistic modal logic	2000-12-19	Paper
Program equivalence in a linear functional language	2000-09-04	Paper
A classical linear \(\lambda\)-calculus	2000-08-23	Paper
Computational types from a logical perspective	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4218109	1999-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4222823	1998-12-13	Paper
A note on full intuitionistic linear logic	1996-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4283230	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281466	1994-04-07	Paper

This page was built for person: Gavin M. Bierman