Gavin M. Bierman Papers on DiSC'04 Formal semantics and analysis of object queries Publications Note: Links lead to the DBLP on the Web. Gavin M. Bierman Gavin M. Bierman, Michael Hicks , Peter Sewell , Gareth Stoyle , Keith Wansbrough : Dynamic rebinding for marshalling and update, with destruct-time? ICFP 2003 : 99-110 Gavin M. Bierman: Formal semantics and analysis of object queries. SIGMOD Conference 2003 : 407-418 Gavin M. Bierman, Matthew J. Parkinson : Effects and effect inference for a core Java calculus. Electr. Notes Theor. Comput. Sci. 82 (7): (2003) Agathoniki Trigoni , Gavin M. Bierman: Inferring the Principal Type and the Schema Requirements of an OQL Query. BNCOD 2001 : 185-201 C. Urban , Gavin M. Bierman: Strong Normalisation of Cut-Elimination in Classical Logic. Fundam. Inform. 45 (1-2): 123-155 (2001) Gavin M. Bierman, Andrew M. Pitts , Claudio V. Russo : Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. Electr. Notes Theor. Comput. Sci. 41 (3): (2000) Gavin M. Bierman: Program equivalence in a linear functional language. J. Funct. Program. 10 (2): 167-190 (2000) Gavin M. Bierman, V. C. V. de Paiva : On an Intuitionistic Modal Logic. Studia Logica 65 (3): 383-416 (2000) C. Urban , Gavin M. Bierman: Strong Normalisation of Cut-Elimination in Classical Logic. TLCA 1999 : 365-380 Gavin M. Bierman: A Classical Linear lambda-Calculus. Theor. Comput. Sci. 227 (1-2): 43-78 (1999) Gavin M. Bierman: A Computational Interpretation of the lambda-µ-Calculus. MFCS 1998 : 336-345 P. N. Benton , Gavin M. Bierman, Valeria de Paiva : Computational Types from a Logical Perspective. J. Funct. Program. 8 (2): 177-193 (1998) Gavin M. Bierman: A Note on Full Intuitionistic Linear Logic. Ann. Pure Appl. Logic 79 (3): 281-287 (1996) Gavin M. Bierman: Towards a Classical Linear lambda-calculus. Electr. Notes Theor. Comput. Sci. 3 : (1996) Gavin M. Bierman: What is a Categorical Model of Intuitionistic Linear Logic? TLCA 1995 : 78-93 P. N. Benton , Gavin M. Bierman, Valeria de Paiva , Martin Hyland : A Term Calculus for Intuitionistic Linear Logic. TLCA 1993 : 75-90 P. N. Benton , Gavin M. Bierman, Valeria de Paiva , Martin Hyland : Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992 : 61-84 1 [ 1 ] [ 2 ] [ 6 ] 2 [ 17 ] 3 [ 1 ] [ 2 ] 4 [ 10 ] 5 [ 1 ] [ 2 ] [ 6 ] 6 [ 15 ] 7 [ 12 ] 8 [ 12 ] 9 [ 17 ] 10 [ 17 ] 11 [ 14 ] 12 [ 9 ] [ 13 ] 13 [ 17 ] ©2004 Association for Computing Machinery