The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TYPES"( http://dblp.L3S.de/Venues/TYPES )

URL (DBLP): http://dblp.uni-trier.de/db/conf/types

Publication years (Num. hits)
1993 (16) 1994-1995 (31) 1996 (20) 1998 (15) 1999-2000 (28) 2002 (19) 2003 (26) 2004 (18) 2006 (18) 2007-2008 (34) 2009-2013 (27) 2014 (16) 2015-2016 (27) 2017-2018 (11)
Publication types (Num. hits)
inproceedings(286) proceedings(20)
Venues (Conferences, Journals, ...)
TYPES(306)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 45 occurrences of 40 keywords

Results
Found 306 publication records. Showing 306 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Silvia Ghilezan, Herman Geuvers, Jelena Ivetic (eds.) 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia Search on Bibsonomy TYPES The full citation details ... 2018 DBLP  BibTeX  RDF
1Andreas Abel 0001, Fredrik Nordvall Forsberg, Ambrus Kaposi (eds.) 23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary Search on Bibsonomy TYPES The full citation details ... 2018 DBLP  BibTeX  RDF
1Tarmo Uustalu (eds.) 21st International Conference on Types for Proofs and Programs, TYPES 2015, May 18-21, 2015, Tallinn, Estonia Search on Bibsonomy TYPES The full citation details ... 2018 DBLP  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ian Orton, Andrew M. Pitts Decomposing the Univalence Axiom. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guillaume Allais Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rodolphe Lepigre PML2: Integrated Program Verification in ML. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrej Dudenhefner, Jakob Rehof Lower End of the Linial-Post Spectrum. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Julius Michaelis, Tobias Nipkow Formalized Proof Systems for Propositional Logic. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erik Palmgren On Equality of Objects in Categories in Constructive Type Theory. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Herman Geuvers, Tonny Hurkens Proof Terms for Generalized Natural Deduction. Search on Bibsonomy TYPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukasz Czajka 0001 A Shallow Embedding of Pure Type Systems into First-Order Logic. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kuen-Bang Hou (Favonia), Robert Harper 0001 Covering Spaces in Homotopy Type Theory. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Georgiana E. Lungu, Zhaohui Luo On Subtyping in Type Theories with Canonical Objects. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrej Bauer, Gaëtan Gilbert, Philipp G. Haselwarter, Matija Pretnar, Christopher A. Stone Design and Implementation of the Andromeda Proof Assistant. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bashar Igried, Anton Setzer Defining Trace Semantics for CSP-Agda. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman Parametricity, Automorphisms of the Universe, and Excluded Middle. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper). Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jacek Chrzaszcz, Aleksy Schubert, Jakub Zakrzewski 0001 Coq Support in HAHA. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Marc Bezem, Thierry Coquand A Normalizing Computation Rule for Propositional Extensionality in Higher-Order Minimal Logic. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Aschieri, Matteo Manighetti On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Érik Martin-Dorel, Sergei Soloviev A Formal Study of Boolean Games with Random Formulas as Payoff Functions. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Richard Statman The Completeness of BCD for an Operational Semantics. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Thierry Coquand, Keiko Nakata 0001, Erik Parmann Realizability at Work: Separating Two Constructive Notions of Finiteness. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simona Ronchi Della Rocca Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1José Espírito Santo, Maria João Frade, Luís Pinto Permutability in Proof Terms for Intuitionistic Sequent Calculus with Cuts. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy TYPES The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Paolini, Mauro Piccolo, Luca Roversi A Certified Study of a Reversible Programming Language. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Erik Parmann Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juan Edi, Andrés Viso, Eduardo Bonelli Efficient Type Checking for Path Polymorphism. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robin Adams 0001, Bart Jacobs 0001 A Type Theory for Probabilistic and Bayesian Reasoning. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Paola Giannini, Elena Zucca Constrained Polymorphic Types for a Calculus with Name Variables. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thorsten Altenkirch, Ambrus Kaposi Towards a Cubical Type Theory without an Interval. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Externqal Reviewers. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau (eds.) 20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  BibTeX  RDF
1João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling Pi-Ware: Hardware Description and Verification in Agda. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, Ralph Matthes Heterogeneous Substitution Systems Revisited. Search on Bibsonomy TYPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolai Kraus The General Universal Property of the Propositional Truncation. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergei Soloviev 0001 On Isomorphism of Dependent Products in a Typed Logical Framework. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew M. Pitts Nominal Presentation of Cubical Sets Models of Type Theory. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maria Emilia Maietti, Samuele Maschio An Extensional Kleene Realizability Semantics for the Minimalist Foundation. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ali Assaf 0002 A Calculus of Constructions with Explicit Subtyping. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erik Parmann Investigating Streamless Sets. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jean-Louis Krivine On the Structure of Classical Realizability Models of ZF. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Silvia Steila An Intuitionistic Analysis of Size-change Termination. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aleksy Schubert, Pawel Urzyczyn, Daria Walukiewicz-Chrzaszcz Restricted Positive Quantification Is Not Elementary. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew Polonsky Extensionality of lambda-*. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Authors Index. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jules Hedges Dialectica Categories and Games with Bidding. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, Régis Spadotti Terminal Semantics for Codata Types in Intensional Martin-Löf Type Theory. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Olivier Danvy, Chantal Keller, Matthias Puech Typeful Normalization by Evaluation. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Raphaël Cauderlier, Catherine Dubois Objects and Subtyping in the Lambda-Pi-Calculus Modulo. Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ralph Matthes, Aleksy Schubert (eds.) 19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France Search on Bibsonomy TYPES The full citation details ... 2014 DBLP  BibTeX  RDF
1 Frontmatter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joëlle Despeyroux, Kaustuv Chaudhuri A Hybrid Linear Logic for Constrained Transition Systems. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Leonardo Rodríguez, Daniel Fridlender, Miguel Pagano A Certified Extension of the Krivine Machine for a Call-by-Name Higher-Order Imperative Language. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tao Xue Definitional Extension in Type Theory. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Retoré The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Danel Ahman, Tarmo Uustalu Update Monads: Cointerpreting Directed Containers. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nils Anders Danielsson, Bengt Nordström (eds.) 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  BibTeX  RDF
1Federico Aschieri, Margherita Zorzi A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Stefano Berardi, Silvia Steila Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi Isomorphism of "Functional" Intersection Types. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hugo Herbelin, Arnaud Spiwack The Rooster and the Syntactic Bracket. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Danko Ilik, Keiko Nakata 0001 A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Thierry Coquand, Simon Huber A Model of Type Theory in Cubical Sets. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ulrich Berger 0001, Monika Seisenberger, Gregory J. M. Woods Extracting Imperative Programs from Proofs: In-place Quicksort. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Jesús Mauricio Chimento, Carlos Luna Formally Verified Implementation of an Idealized Model of Virtualization. Search on Bibsonomy TYPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nils Anders Danielsson, Bengt Nordström Frontmatter, Table of Contents, Preface, Workshop Organization. Search on Bibsonomy TYPES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cezar Ionescu, Patrik Jansson Testing versus proving in climate impact research. Search on Bibsonomy TYPES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jörg Endrullis, Andrew Polonsky Infinitary Rewriting Coinductively. Search on Bibsonomy TYPES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralph Matthes, Celia Picard Verification of redecoration for infinite triangular matrices using coinduction. Search on Bibsonomy TYPES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan Georg Granström A new approach to the semantics of model diagrams. Search on Bibsonomy TYPES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aloïs Brunel Non-constructive complex analysis in Coq. Search on Bibsonomy TYPES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yangyue Feng, Zhaohui Luo Typed Operational Semantics for Dependent Record Types Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andrea Asperti, Enrico Tassi Superposition as a logical glue Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Freek Wiedijk Stateless HOL Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Claudio Sacerdoti Coen, Enrico Tassi Nonuniform Coercions via Unification Hints Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tom Hirschowitz (eds.) Proceedings Types for Proofs and Programs, Revised Selected Papers, TYPES 2009, Aussois, France, 12-15th May 2009. Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (eds.) Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers Search on Bibsonomy TYPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Clément Houtmann Axiom Directed Focusing. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF superdeduction, Proof theory, focusing, deduction modulo
1Luca Paolini, Mauro Piccolo A Process-Model for Linear Programs. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Roversi, Luca Vercelli Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Structural Proof-theory, Polynomial Time Computations, Linear Logic, Implicit Computational Complexity
1Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi Towards a Type Discipline for Answer Set Programming. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF many sorted interpretation, type checking, Answer set programming, grounding
1Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer Proving Infinitary Normalization. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini A New Elimination Rule for the Calculus of Inductive Constructions. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eelis van der Weegen, James McKinna A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Erik Ernst First-Class Object Sets. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Object sets, multi-object method calls, composition, types
1Zhaohui Luo Manifest Fields and Module Mechanisms in Intensional Type Theory. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Dag Hovland A Type System for Usage of Software Components. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Component Usage, Process Model, Type System, Parallel Execution, Component Software
1Juan Manuel Crespo, Gustavo Betarte, Carlos Luna A Framework for the Analysis of Access Control Models for Interactive Mobile Devices. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mobile devices, Access control models, formal proofs
1José Espírito Santo, Ralph Matthes, Luís Pinto Monadic Translation of Intuitionistic Sequent Calculus. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrea Asperti, Wilmer Ricciotti About the Formalization of Some Results by Chebyshev in Number Theory. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Milad Niqui Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Coiteration, Bisimulation, Coalgebra, Coq, Coinduction
1Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.) Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Freek Wiedijk Merging Procedural and Declarative Proof. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yves Bertot, Ekaterina Komendantskaya Using Structural Recursion for Corecursion. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constructive Type Theory, Structural Recursion, Coinductive types, Guarded Corecursion, Coq
1Marco Gaboardi, Simona Ronchi Della Rocca Type Inference for a Polynomial Lambda Calculus. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Florian Haftmann, Makarius Wenzel Local Theory Specifications in Isabelle/Isar. Search on Bibsonomy TYPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 306 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license