Book of Abstracts - IRIT

More documents

Recommendations

Info

TYPES 2013 Author Index Author Index Abel, Andreas 14 Ahman, Danel 16 Ahn, Ki Yung 18 Ahrens, Benedikt 20 Allamigeon, Xavier 22 Altenkirch, Thorsten 24 Aschieri, Federico 26 Awodey, Steve 6 Barlatier, Patrick 44 Beauquier, Maxime 28 Berardi, Stefano 26, 30 Bezem, Marc 32 Birkedal, Lars 8 Birolo, Giovanni 26 Blot, Valentin 34 Chaudhuri, Kaustuv 36 Ciaffaglione, Alberto 38 Claret, Guillaume 40 Cohen, Cyril 42 Coquand, Thierry 32 Dapoigny, Richard 44 Despeyroux, Joëlle 36 Dénès, Maxime 42 Fiore, Marcelo 18 Fridlender, Daniel 46 Gaubert, Stéphane 22 González Huesca, Lourdes del Carmen 40 Guenot, Nicolas 48 Herbelin, Hugo 50, 52 Kapulkin, Krzyszt<strong>of</strong> 20 Kohlenbach, Ulrich 10 Krebbers, Robbert 54 Ljunglöf, Peter 56 Luo, Zhaohui 58 Magron, Victor 22 82
TYPES 2013 Author Index Maksimović, Petar 60 Mulligan, Dominic 68 Mörtberg, Anders 42 Nakata, Keiko 32 Pagano, Miguel 46 Part, Fedor 58 Pollack, Randy 70 Pédrot, Pierre-Marie 62 Régis-Gianas, Yann 40 Retoré, Christian 64 Rijke, Egbert 66 Rodríguez, Leonardo 46 Sacerdoti Coen, Claudio 68 Sakurai, Takafumi 70 Sato, Masahiko 70 Scagnetto, Ivan 38 Schubert, Aleksy 72 Schwichtenberg, Helmut 70 Setzer, Anton 74 Sheard, Tim 18 Shulman, Michael 20 Sozeau, Matthieu 76 Spitters, Bas 66 Spiwack, Arnaud 52 Urzyczyn, Paweł 72 Uustalu, Tarmo 16 van Bakel, Steffen 78 Vigliotti, Maria Grazia 78 Walukiewicz-Chrząszcz, Daria 72 Werner, Benjamin 22, 80 Ziliani, Beta 40 83
Page 1:
Types for Proofs and Programs 19th
Page 5 and 6:
TYPES 2013 Preface Preface This is
Page 7 and 8:
TYPES 2013 Invited Talks Invited Ta
Page 10:
Charge! a framework for higher-orde
Page 13 and 14:
Types in Proof Mining Ulrich Kohlen
Page 15 and 16:
TYPES 2013 Contributed Talks Some r
Page 18 and 19:
Update Monads: Cointerpreting Direc
Page 20 and 21:
Mendler-style Recursion Schemes for
Page 22 and 23:
Univalent categories and the Rezk c
Page 24 and 25:
Formal Non-linear Optimization via
Page 26:
Weak ω-groupoids and beyond. (Abst
Page 29 and 30:
Strong Normalization for HA + 1 −
Page 31 and 32:
Towards Infinite Terms in Twelf Max
Page 33 and 34: A learning-based interpretation for
Page 35 and 36: Are streamless sets Noetherian? Bez
Page 37 and 38: Realizability for Peano Arithmetic
Page 39 and 40: A Hybrid Linear Logic for Constrain
Page 41 and 42: Revisiting the bookkeeping techniqu
Page 43 and 44: to be executed with the help of wha
Page 45 and 46: Computable Refinements by Quotients
Page 47 and 48: Formalizing Subsumption Relations i
Page 49 and 50: Mechanized semantics for an Algol-l
Page 51 and 52: Nested Typing and Communication in
Page 53 and 54: Some reflections about equality in
Page 55 and 56: The Rooster and the Syntactic Brack
Page 57 and 58: Effective Types for C formalized in
Page 59 and 60: Type-based Human-Computer Interacti
Page 61 and 62: Coercion Contexts and Local Coercio
Page 63 and 64: Probability Logics in Coq Petar Mak
Page 65 and 66: A Dependent Delimited Continuation
Page 67 and 68: On the system F for meaning assembl
Page 69 and 70: Sets in homotopy type theory Egbert
Page 71 and 72: Polymorphic variants in dependent t
Page 73 and 74: Viewing λ-terms through Maps Sato,
Page 75 and 76: Positive Logic Is 2-Exptime Hard Sc
Page 77 and 78: Unfolding Nested Patterns and Copat
Page 79 and 80: Universe Polymorphism and Inference
Page 81 and 82: Fully abstract semantics of λµ wi
Page 83: A very generic implementation of da
show all

Book of Abstracts - IRIT

Create successful ePaper yourself

Delete template?

Save as template?