Conferences in DBLP
Andrew M. Pitts Bisimulation and Co-induction (Tutorial) [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Longo , Kathleen Milsted , Sergei Soloviev The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] My Hoang , John C. Mitchell , Ramesh Viswanathan Standard ML-NJ weak polymorphism and imperative constructs [Citation Graph (1, 0)][DBLP ] Conf ] John C. Mitchell , Furio Honsell , Kathleen Fisher A lambda calculus of objects and method specialization [Citation Graph (1, 0)][DBLP ] Conf ] Michel Parigot Strong Normalization for Second Order Classical Natural Deduction [Citation Graph (0, 0)][DBLP ] Conf ] Shang-Ching Chou , Xiao-Shan Gao , Jing-Zhong Zhang Automated Production of Traditional Proofs for Constructive Geometry Theorems [Citation Graph (0, 0)][DBLP ] Conf ] Paliath Narendran , Frank Pfenning , Richard Statman On the Unification Problem for Cartesian Closed Categories [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Nipkow Functional Unification of Higher-Order Patterns [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Harald Ganzinger , Uwe Waldmann Set Constraints are the Monadic Class [Citation Graph (1, 0)][DBLP ] Conf ] Andrew M. Pitts Relational Properties of Recursively Defined Domains [Citation Graph (0, 0)][DBLP ] Conf ] Stephen D. Brookes Full Abstraction for a Shared Variable Parallel Language [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo P. Fiore A Coinduction Principle for Recursive Data Types Based on Bisimulation [Citation Graph (0, 0)][DBLP ] Conf ] Phokion G. Kolaitis A Tutorial on Finite Model Theory (Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Amir Pnueli , Lenore D. Zuck In and Out of Temporal Logic [Citation Graph (0, 0)][DBLP ] Conf ] Igor Walukiewicz On Completeness of the mu-calculus [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Rachid Echahed , Joseph Sifakis On Model Checking for Real-Time Properties with Durations [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Bengt Jonsson Verifying Programs with Unreliable Channels [Citation Graph (0, 0)][DBLP ] Conf ] Damian Niwinski , Alexei P. Stolboushkin y = 2x vs. y = 3x [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Courcelle Monadic Second-Order Logic and Hypergraph Orientation [Citation Graph (0, 0)][DBLP ] Conf ] James F. Lynch Infinitary Logics and Very Sparse Random Graphs [Citation Graph (0, 0)][DBLP ] Conf ] Guy Fayolle , Stéphane Grumbach , Christophe Tollu Asymptotic Probabilities of Languages with Generalized Quantifiers [Citation Graph (1, 0)][DBLP ] Conf ] Moreno Falaschi , Maurizio Gabbrielli , Kim Marriott , Catuscia Palamidessi Compositional Analysis for Concurrent Constraint Programming [Citation Graph (0, 0)][DBLP ] Conf ] Peter Schroeder-Heister Rules of Definitional Reflection [Citation Graph (0, 0)][DBLP ] Conf ] Amy P. Felty Encoding the Calculus of Constructions in a Higher-Order Logic [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Lambek Programs, grammars and arguments: a personal view of some connections between computation, language and logic [Citation Graph (0, 0)][DBLP ] Conf ] Jon Barwise , Jerry Seligman Imperfect information flow [Citation Graph (0, 0)][DBLP ] Conf ] Val Tannen , Delia Kesner , Laurence Puel A Typed Pattern Calculus [Citation Graph (0, 0)][DBLP ] Conf ] C.-H. Luke Ong Non-Determinism in a Functional Setting [Citation Graph (0, 0)][DBLP ] Conf ] Wesley Phoa Adequacy for untyped translations of typed lambda-calculi [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Danos , Laurent Regnier Local and asynchronous beta-reduction (an analysis of Girard's execution formula) [Citation Graph (0, 0)][DBLP ] Conf ] Paul Beame , Toniann Pitassi An Exponential Separation between the Matching Principle and the Pigeonhole Principle [Citation Graph (0, 0)][DBLP ] Conf ] Anil Seth Some Desirable Conditions for Feasible Functionals of Type~2 [Citation Graph (0, 0)][DBLP ] Conf ] Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson Database Query Languages Embedded in the Typed Lambda Calculus [Citation Graph (6, 0)][DBLP ] Conf ] Laks V. S. Lakshmanan , Karima Ashraf , Jiawei Han Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization [Citation Graph (0, 0)][DBLP ] Conf ] Ursula Martin , Elizabeth Scott The order types of termination orderings on monadic terms, strings and multisets [Citation Graph (0, 0)][DBLP ] Conf ] Paliath Narendran , Michaël Rusinowitch The Unifiability Problem in Ground AC Theories [Citation Graph (0, 0)][DBLP ] Conf ] Gordon D. Plotkin Type Theory and Recursion (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin C. Pierce , Davide Sangiorgi Typing and Subtyping for Mobile Processes [Citation Graph (0, 0)][DBLP ] Conf ] Søren Christensen , Yoram Hirshfeld , Faron Moller Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] Lalita Jategaonkar , Albert R. Meyer Self-Synchronization of Concurrent Processes (Preliminary Report) [Citation Graph (0, 0)][DBLP ] Conf ] André Joyal , Mogens Nielsen , Glynn Winskel Bisimulation and open maps [Citation Graph (0, 0)][DBLP ] Conf ] Mati Pentus Lambek Grammars Are Context Free [Citation Graph (0, 0)][DBLP ] Conf ] 