Conferences in DBLP
Jean-Marc Andreoli The Coordination Language Facility and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Harry Eidorff , Fritz Henglein , Christian Mossin , Henning Niss , Morten Heine Sørensen , Mads Tofte AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem. [Citation Graph (0, 0)][DBLP ] Conf ] V. Michele Abrusci Modules in Non-communicative Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Baillot , Marco Pedicini Elementary Complexity and Geometry of Interaction. [Citation Graph (0, 0)][DBLP ] Conf ] Nuno Barreiro , Thomas Ehrhard Quantitative Semantics Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Berardi , Ugo de'Liguoro Total Functionals and Well-Founded Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Broda , Luís Damas Counting a Type's Principal Inhabitants. [Citation Graph (0, 0)][DBLP ] Conf ] Ferruccio Damiani Useless-Code Detection and Elimination for PCF with Algebraic Data types. [Citation Graph (0, 0)][DBLP ] Conf ] René David Every Unsolvable lambda Term has a Decoration. [Citation Graph (0, 0)][DBLP ] Conf ] Pietro Di Gianantonio , Gianluca Franco , Furio Honsell Game Semantics for Untyped lambda beta eta -Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Dybjer , Anton Setzer A Finite Axiomatization of Inductive-Recursive Definitions. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo P. Fiore , Alex K. Simpson Lambda Definability with Sums via Grothendieck Logical Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Ken-etsu Fujita Explicitly Typed lambda µ -Calculus for Polymorphism an Call-by-Value. [Citation Graph (0, 0)][DBLP ] Conf ] Healfdene Goguen Soundness of the Logical Framework for Its Typed Operational Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Masahito Hasegawa Logical Predicates for Intuitionistic Linear Type Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Laurent Polarized Proof-Nets: Proof-Nets for LC. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Blain Levy Call-by-Push-Value: A Subsuming Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Seikoh Mikami , Yohji Akama A Study of Abramsky's Linear Chemical Abstract Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. O'Hearn Resource Interpretations, Bunched Implications and the alpha lambda -Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohori A Curry-Howard Isomorphism for Compilation and Program Execution. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Polakow , Frank Pfenning Natural Deduction for Intuitionistic Non-communicative Linear Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Poll , Jan Zwanenburg A Logic for Abstract Data Types as Existential Types. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Ritter Characterising Explicit Substitutions which Preserve Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Sato , Takafumi Sakurai , Rod M. Burstall Explicit Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Statman Consequences of Jacopini's Theorem: Consistent Equalities and Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Urban , Gavin M. Bierman Strong Normalisation of Cut-Elimination in Classical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Zwanenburg Pure Type Systems with Subtyping. [Citation Graph (0, 0)][DBLP ] Conf ] 