Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jonas Frey |
Realizability Toposes from Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 196-210, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Wang 0001, Kaustuv Chaudhuri |
A Proof-theoretic Characterization of Independence in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 332-346, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault, Peter Dybjer |
Undecidability of Equality in the Free Locally Cartesian Closed Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 138-152, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Piotr Polesiuk |
Logical Relations for Coherence of Effect Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 107-122, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ali Assaf 0002 |
Conservativity of Embeddings in the lambda Pi Calculus Modulo Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 31-44, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Scherer |
Multi-Focusing on Extensional Rewriting with Sums. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 317-331, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brian F. Redmond |
Polynomial Time in the Parametric Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 288-301, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. i-xii, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca |
Observability for Pair Pattern Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 123-137, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Pierre Jouannaud, Jianqi Li |
Termination of Dependently Typed Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 257-272, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca |
Standardization of a Call-By-Value Lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 211-225, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Georg Moser |
Multivariate Amortised Resource Analysis for Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 241-256, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton |
Models for Polymorphism over Physical Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 45-59, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Bezem, Thierry Coquand, Erik Parmann |
Non-Constructivity in Kan Simplicial Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 92-106, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Benedikt Ahrens, Paolo Capriotti, Régis Spadotti |
Non-Wellfounded Trees in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 17-30, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro |
Dependent Types for Nominal Terms with Atom Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 180-195, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Altenkirch (eds.) |
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof |
Mixin Composition Synthesis Based on Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 76-91, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka, Andreas Abel 0001 |
Well-Founded Recursion over Contextual Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 273-287, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo |
Curry-Howard for Sequent Calculus at Last!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 165-179, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh |
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 1-16, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Chuangjie Xu |
The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 153-164, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Bagnol |
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 60-75, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Colin Riba |
Fibrations of Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 302-316, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau |
Wild omega-Categories for the Homotopy Hypothesis in Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 226-240, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Flavien Breuvart |
The Resource Lambda Calculus Is Short-Sighted in Its Relational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 93-108, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza |
Non-linearity as the Metric Completion of Linearity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 3-14, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch |
Small Induction Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 156-172, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault |
Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 109-124, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Boris Düdder, Moritz Martens, Jakob Rehof |
Intersection Type Matching with Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 125-139, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon L. Peyton Jones |
Type-Directed Compilation in the Wild: Haskell and Core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 1, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Salvati, Igor Walukiewicz |
Using Models to Model-Check Recursive Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 189-204, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus, Martín Hötzel Escardó, Thierry Coquand, Thorsten Altenkirch |
Generalizations of Hedberg's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 173-188, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chuangjie Xu, Martín Hötzel Escardó |
A Constructive Model of Uniform Continuity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 236-249, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paula Severi, Fer-Jan de Vries |
Completeness of Conversion between Reactive Programs for Ultrametric Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 221-235, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Makoto Tatsuta |
Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 61-76, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
On Interaction, Continuations and Defunctionalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 205-220, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nick Benton, Martin Hofmann 0001, Vivek Nigam |
Proof-Relevant Logical Relations for Name Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 48-60, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa (eds.) |
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![Springer, 978-3-642-38945-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Herbelin |
Proving with Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 2, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fridlender, Miguel Pagano |
A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 140-155, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts |
System F i . ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 15-30, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Federico Aschieri, Margherita Zorzi |
Non-determinism, Non-termination and the Strong Normalization of System T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 31-47, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot |
Realizability for Peano Arithmetic with Winning Conditions in HON Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 77-92, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong (eds.) |
Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![Springer, 978-3-642-21690-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro |
A Filter Model for the λμ-Calculus - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 213-228, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski |
Partiality, State and Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 198-212, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
Rewriting in Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 6-8, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Roversi |
Linear Lambda Calculus and Deep Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 184-197, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Reuben N. S. Rowe, Steffen van Bakel |
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 229-244, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Hugo Herbelin, Alexis Saurin |
Classical Call-by-Need and Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 27-44, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jakob Rehof, Pawel Urzyczyn |
Finite Combinatory Logic with Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 169-183, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault, Peter Dybjer |
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 91-106, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Weirich |
Combining Proofs and Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 9, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Miquel |
A Survey of Classical Realizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 1-2, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Gimenez |
Realizability Proof for Normalization of Full Differential Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 107-122, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Madet, Roberto M. Amadio |
An Elementary Affine λ-Calculus with Multithreading and Side Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 138-152, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Arndt 0001, Krzysztof Kapulkin |
Homotopy-Theoretic Models of Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 45-60, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aloïs Brunel, Olivier Hermant, Clément Houtmann |
Orthogonality and Boolean Algebras for Deduction Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 76-90, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Tison |
Tree Automata, (Dis-)Equality Constraints and Term Rewriting - What's New? ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 3-5, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Bourreau, Sylvain Salvati |
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 61-75, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Manzonetto, Michele Pagani |
Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 153-168, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Brigitte Pientka |
Higher-Order Dynamic Pattern Unification for Dependent Types and Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 10-26, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marc Lasson |
Controlling Program Extraction in Light Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings, pp. 123-137, 2011, Springer, 978-3-642-21690-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
Syntax for Free: Representing Syntax with Binding Using Parametricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 35-49, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian, Mauro Piccolo |
Partial Orders, Event Structures and Linear Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 95-111, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Petit |
A Polymorphic Type System for the Lambda-Calculus with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 234-248, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
strong normalisation, pattern matching, polymorphism, lambda-calculus |
1 | Andreas Abel 0001, Thierry Coquand, Miguel Pagano |
A Modular Type-Checking Algorithm for Type Theory with Singleton Types and Proof Irrelevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 5-19, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michele Basaldella, Kazushige Terui |
On the Meaning of Logical Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 50-64, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yu Zhang |
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 401-415, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peter LeFanu Lumsdaine |
Weak omega-Categories from Intensional Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 172-187, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christine Tasson |
Algebraic Totality, towards Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 325-340, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Mostrous, Nobuko Yoshida |
Session-Based Communication Optimisation for Higher-Order Mobile Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 203-218, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Colin Riba |
On the Values of Reducibility Candidates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 264-278, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Miquel |
Relating Classical Realizability and Negative Translation for Existential Witness Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 188-202, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Florian Stenger, Janis Voigtländer |
Parametricity for Haskell with Imprecise Error Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 294-308, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michele Pagani |
The Cut-Elimination Theorem for Differential Nets with Promotion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 219-233, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ken-etsu Fujita, Aleksy Schubert |
Existential Type Systems with No Types in Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 112-126, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Martin Hofmann 0001 |
Bounded Linear Logic, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 80-94, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Urzyczyn |
Inhabitation of Low-Rank Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 356-370, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Louis Curien (eds.) |
Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![Springer, 978-3-642-02272-2 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Boudes |
Thick Subtrees, Games and Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 65-79, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert Harper 0001, Daniel R. Licata, Noam Zeilberger |
A Pronominal Approach to Binding and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 3-4, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Herbelin, Stéphane Zimmermann |
An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 142-156, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lionel Vaux |
Differential Linear Logic and Polarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 371-385, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Initial Algebra Semantics for Cyclic Sharing Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 127-141, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Federico Aschieri, Stefano Berardi |
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 20-34, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, Atsushi Igarashi |
A Logical Foundation for Environment Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 341-355, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Steven Awodey, Florian Rabe 0001 |
Kripke Semantics for Martin-Löf's Extensional Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 249-263, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | William Lovas, Frank Pfenning |
Refinement Types as Proof Irrelevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 157-171, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore, Chung-Kil Hur |
Mathematical Synthesis of Equational Deduction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 1-2, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gunnar Wilken, Andreas Weiermann |
Complexity of Gödel's T in lambda-Formulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 386-400, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Typed ?-Calculus, Gödel’s T, Termination, Rewrite System, Strong Normalization |
1 | Jeffrey Sarnat, Carsten Schürmann 0001 |
Lexicographic Path Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 279-293, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Straßburger |
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 309-324, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ana Bove, Venanzio Capretta |
Computation by Prophecy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 70-83, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Faggian, Mauro Piccolo |
Ludics is a Model for the Finitary Linear Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 148-162, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | José Espírito Santo |
Completing Herbelin's Programme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 118-132, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Kusmierek |
The Inhabitation Problem for Rank Two Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 240-254, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type inhabitation problem, lambda calculus, intersection types, alternating Turing machine |
1 | Oleg Kiselyov, Chung-chieh Shan |
A Substructural Type System for Delimited Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 223-239, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Damiano Mazza |
Edifices and Full Abstraction for the Symmetric Interaction Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 305-320, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|