Conferences in DBLP
Yohji Akama A Lambda-to-CL Translation for Strong Normalization. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:1-10 [Conf ] Gianna Bellè , Eugenio Moggi Typed Intermediate Languages for Shape Analysis. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:11-29 [Conf ] Stefano Berardi , Luca Boerio Minimum Information Code in a Pure Functional Language with Data Types. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:30-45 [Conf ] Viviana Bono , Michele Bugliesi Matching Constraints for the Lambda Calculus of Objects. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:46-62 [Conf ] Michael Brandt , Fritz Henglein Coinductive Axiomatization of Recursive Type Equality and Subtyping. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:63-81 [Conf ] Torben Braüner A Simple Adequate Categorical Model for PCF. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:82-98 [Conf ] Antonio Bucciarelli Logical Reconstruction of Bi-domains. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:99-111 [Conf ] Judicaël Courant A Module Calculus for Pure Type Systems. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:112-128 [Conf ] Ferruccio Damiani , Paola Giannini An Inference Algorithm for Strictness. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:129-146 [Conf ] Joëlle Despeyroux , Frank Pfenning , Carsten Schürmann Primitive Recursion for Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:147-163 [Conf ] Neil Ghani Eta-Expansions in Dependent Type Theory - The Calculus of Constructions. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:164-180 [Conf ] Stefano Guerrini , Simone Martini , Andrea Masini Proof Nets, Garbage, and Computations. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:181-195 [Conf ] Masahito Hasegawa Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:196-213 [Conf ] Hugo Herbelin Games and Weak-Head Reduction for Classical PCF. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:214-230 [Conf ] Toshihiko Kurata A Type Theoretical View of Böhm-Trees. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:231-247 [Conf ] Marina Lenisa Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for Lambda-calculi. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:248-266 [Conf ] Jan Malolepszy , Malgorzata Moczurad , Marek Zaionc Schwichtenberg-Style Lambda Definability Is Undecidable. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:267-283 [Conf ] Femke van Raamsdonk Outermost-Fair Rewriting. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:284-299 [Conf ] Christian Retoré , Pomset Logic A Non-commutative Extension of Classical Linear Logic. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:300-318 [Conf ] Harald Rueß Computational Reflection in the Calculus of Constructions and its Application to Theorem Proving. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:319-335 [Conf ] Ian Stark Names, Equations, Relations: Practical Ways to Reason about new . [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:336-353 [Conf ] Izumi Takeuti An Axiomatic System of Parametricity. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:354-372 [Conf ] Pawel Urzyczyn Inhabitation in Typed Lambda-Calculi (A Syntactic Approach). [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:373-389 [Conf ] Hongwei Xi Weak and Strong Beta Normalisations in Typed Lambda-Calculi. [Citation Graph (0, 0)][DBLP ] TLCA, 1997, pp:390-404 [Conf ]