types-list  

Messages by Thread

• • Re: [TYPES] Statement of structural induction Pierre Courtieu
  • Re: [TYPES] Statement of structural induction Paolo Giarrusso
  • Re: [TYPES] Statement of structural induction Albert R Meyer
  • Re: [TYPES] Statement of structural induction Andreas Abel
  • Re: [TYPES] Statement of structural induction Richard Eisenberg
  • Re: [TYPES] Statement of structural induction Dan Doel
  • Re: [TYPES] Statement of structural induction Frédéric Blanqui
• [TYPES] judgemental eta for function types Paul Blain Levy
  • Re: [TYPES] judgemental eta for function types Andreas Abel
  • Re: [TYPES] judgemental eta for function types Matthieu Sozeau
• [TYPES] An Expressive Type System helping for run-time verification Marco Servetto
  • Re: [TYPES] An Expressive Type System helping for run-time verification Dorel Lucanu
• [TYPES] I: On Dependent types and Subtyping's consistency Giacomo Bergami
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Gabriel Scherer
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Sandro Stucki
  • Re: [TYPES] ?==?utf-8?q? ?==?utf-8?q? I: On Dependent types and Subtyping's consistency Sergei Soloviev
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency DeLesley Hutchins
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Giuseppe Castagna
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Stefan Monnier
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Giacomo Bergami
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Giacomo Bergami
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Giacomo Bergami
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Frank Pfenning
  • Re: [TYPES] On Dependent types and Subtyping's consistency Ken Kubota
  • Re: [TYPES] I: On Dependent types and Subtyping's consistency Rodolphe Lepigre
• [TYPES] subject reduction J. R. Hindley
• [TYPES] Subject reduction Ansten Mørch Klev
• [TYPES] Formal models of python-like languages Halley Young
  • Re: [TYPES] Formal models of python-like languages Alan Schmitt
  • Re: [TYPES] Formal models of python-like languages James Cheney
• Re: [TYPES] [TYPES/announce] subject reduction Gabriel Scherer
• [TYPES] temporal type theory book David Spivak
  • [TYPES] subject reduction Herman Geuvers
• [TYPES] new moderator: Gabriel Scherer Dimitrios Vytiniotis
  • Re: [TYPES] [TYPES/announce] new moderator: Gabriel Scherer Benjamin C. Pierce
  • Re: [TYPES] [TYPES/announce] new moderator: Gabriel Scherer Rishiyur Nikhil
  • Re: [TYPES] new moderator: Gabriel Scherer Gabriel Scherer
• [TYPES] Passing of Corrado Böhm Mariangiola Dezani
• [TYPES] Book on Category Theory Aaron Gray
  • Re: [TYPES] Book on Category Theory Gabriel Scherer
  • Re: [TYPES] Book on Category Theory Giuseppe Castagna
  • Re: [TYPES] Book on Category Theory Alan Schmitt
  • Re: [TYPES] Book on Category Theory Uday S Reddy
  • Re: [TYPES] Book on Category Theory Moez A. AbdelGawad
  • Re: [TYPES] Book on Category Theory François Thiré
  • Re: [TYPES] Book on Category Theory John Leo
  • Re: [TYPES] Book on Category Theory Aaron Gray
  • Re: [TYPES] Book on Category Theory Burak Emir
  • Re: [TYPES] Book on Category Theory Dan Doel
  • Re: [TYPES] Book on Category Theory Sean Leather
  • Re: [TYPES] Book on Category Theory Gabriel Scherer
  • Re: [TYPES] Book on Category Theory Aaron Gray
  • Re: [TYPES] Book on Category Theory Aaron Gray
  • Re: [TYPES] Book on Category Theory Gergely Buday
  • [TYPES] FW: Book on Category Theory Dimitrios Vytiniotis
• [TYPES] Meaning explanations and the invalidity of the law of excluded middle Bruno Bentzen
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Ahmad Salim Al-Sibahi
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Andrej Bauer
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Andrej Bauer
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Bruno Bentzen
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Paolo Giarrusso
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Jon Sterling
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Paolo Giarrusso
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Bruno Bentzen
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Andrej Bauer
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Thomas Streicher
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Jon Sterling
  • Re: [TYPES] Meaning explanations and the invalidity of the law of excluded middle Thomas Streicher
• [TYPES] Inverse limit for categories Arthur Azevedo de Amorim
• [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one? Yang, Yanpeng
  • Re: [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one? James Koppel
  • Re: [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one? Christian Doczkal
  • Re: [TYPES] Is one-step conversion rule of CC equivalent to the multi-step one? Yang, Yanpeng
• [TYPES] What are congruence rules called? Philip Wadler
  • Re: [TYPES] What are congruence rules called? Filippo Sestini
  • Re: [TYPES] What are congruence rules called? Francesco Gavazzo
  • Re: [TYPES] What are congruence rules called? J. R. Hindley
  • Re: [TYPES] What are congruence rules called? Philip Wadler
  • Re: [TYPES] What are congruence rules called? Gabriel Scherer
  • Re: [TYPES] What are congruence rules called? Norman Ramsey
  • Re: [TYPES] What are congruence rules called? Philip Wadler
  • Re: [TYPES] What are congruence rules called? Andrew Myers
  • Re: [TYPES] What are congruence rules called? Andreas Abel
  • Re: [TYPES] What are congruence rules called? Beta Ziliani
• [TYPES] Any formal models of method lookup mechanism in C++? Yanlin Wang
  • Re: [TYPES] Any formal models of method lookup mechanism in C++? DeLesley Hutchins
  • Re: [TYPES] Any formal models of method lookup mechanism in C++? Gabriel Scherer
  • Re: [TYPES] Any formal models of method lookup mechanism in C++? Mitchell Wand
• [TYPES] Autumn school "Proof and Computation" Chuangjie Xu
• [TYPES] semantic coherence for simply typed lambda-calculus Paul B Levy
  • Re: [TYPES] semantic coherence for simply typed lambda-calculus Paolo Giarrusso
  • Re: [TYPES] semantic coherence for simply typed lambda-calculus Gabriel Scherer
  • Re: [TYPES] semantic coherence for simply typed lambda-calculus Paolo Giarrusso
  • Re: [TYPES] semantic coherence for simply typed lambda-calculus Andreas Abel
  • Re: [TYPES] semantic coherence for simply typed lambda-calculus Guillaume Munch-Maccagnoni
• [TYPES] independence of AC! or AC from CIC Maria Emilia Maietti
  • Re: [TYPES] independence of AC! or AC from CIC streicher
• [TYPES] Types theories with first-class definitional extensions Jacques Carette
  • Re: [TYPES] Types theories with first-class definitional extensions Robert Harper
  • Re: [TYPES] Types theories with first-class definitional extensions Michael Greenberg
  • Re: [TYPES] Types theories with first-class definitional extensions William J. Bowman
  • Re: [TYPES] Types theories with first-class definitional extensions Frédéric Blanqui
  • Re: [TYPES] Types theories with first-class definitional extensions Herman Geuvers
  • Re: [TYPES] Types theories with first-class definitional extensions Jacques Carette
  • Re: [TYPES] Types theories with first-class definitional extensions Frank Pfenning
• [TYPES] Foundations of Mathematics: Type Theory after Church's Simple Theory of Types (1940) Ken Kubota
• [TYPES] Erasure and equality proofs Stefan Monnier
  • Re: [TYPES] Erasure and equality proofs Andreas Abel
  • Re: [TYPES] Erasure and equality proofs Stefan Monnier
• [TYPES] Wanted: A space of retracts, manuscript, Dana Scott 1980 Merton College, Oxford Aaron Gray
• [TYPES] Founding papers on Kinds Aaron Gray
• [TYPES] Fwd: Denotational semantics of Fω with type- & term-recursion Yufei Cai
  • Re: [TYPES] Fwd: Denotational semantics of Fω with type- & term-recursion Eugenio Moggi
• [TYPES] HOAS Techniques in Verified Transformations on Functional Programs Yuting Wang
• [TYPES] Postdoc positions and lectureships in Swansea (suitable for type theoretists; deadlines 22/12/15 and 5/1/16) Anton Setzer
• [TYPES] When types appeared in programming languages Simone Martini
  • [TYPES] Fwd: When types appeared in programming languages PATRICK BROWNE
  • Re: [TYPES] When types appeared in programming languages Simone Martini
• [TYPES] RFC: ARF - An interprocedural flow-based type checker David Foster
  • Re: [TYPES] RFC: ARF - An interprocedural flow-based type checker Gabriel Scherer
  • Re: [TYPES] RFC: ARF - An interprocedural flow-based type checker Francois Pottier
  • Re: [TYPES] RFC: ARF - An interprocedural flow-based type checker hgualandi
  • Re: [TYPES] RFC: ARF - An interprocedural flow-based type checker David Foster
• [TYPES] statistics about information-flow programming errors? Andrei Popescu
• [TYPES] I'm searching for a survey on type system feature combinations hgualandi
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Gabriel Scherer
  • Re: [TYPES] I'm searching for a survey on type system feature combinations hgualandi
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Peter Sewell
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Matthias Felleisen
  • Re: [TYPES] I'm searching for a survey on type system feature combinations hgualandi
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Gabriel Scherer
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Matthias Felleisen
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Jeremy Siek
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Derek Dreyer
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Neelakantan Krishnaswami
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Giuseppe Castagna
  • Re: [TYPES] I'm searching for a survey on type system feature combinations Michael Greenberg
• [TYPES] mechanized formalizations of the pi calculus James Cheney
  • Re: [TYPES] mechanized formalizations of the pi calculus James Cheney
• [TYPES] completeness of type inference for stateful ML Ramana Kumar
• [TYPES] Utrecht Workshop on Proof Theory Iemhoff, R. (Rosalie)
• [TYPES] Basic principal type terminology Sean McDirmid
  • Re: [TYPES] Basic principal type terminology Gabriel Scherer
  • Re: [TYPES] Basic principal type terminology Sean McDirmid
  • Re: [TYPES] Basic principal type terminology Andreas Rossberg
• [TYPES] Localizing Hypotheses? Gershom B
  • Re: [TYPES] Localizing Hypotheses? Gabriel Scherer
  • Re: [TYPES] Localizing Hypotheses? Frank Pfenning
• [TYPES] Gentzen proof and Kantor ordering Vladimir Voevodsky
  • Re: [TYPES] [Coq-Club] Gentzen proof and Kantor ordering Neelakantan Krishnaswami
  • Re: [TYPES] [Coq-Club] Gentzen proof and Kantor ordering Freek Wiedijk
  • Re: [TYPES] Gentzen proof and Kantor ordering Martin Escardo
  • Re: [TYPES] Gentzen proof and Kantor ordering Thomas Streicher
• [TYPES] Looking for concurrent imperative core Java calculi Antonio Ravara
  • Re: [TYPES] Looking for concurrent imperative core Java calculi Gabriel Scherer
  • Re: [TYPES] Looking for concurrent imperative core Java calculi Aleks Kissinger
  • Re: [TYPES] Looking for concurrent imperative core Java calculi Massimo Merro
  • Re: [TYPES] Looking for concurrent imperative core Java calculi Rosu, Grigore
• [TYPES] FP and the Chomsky hierarchy Benjamin C. Pierce
  • Re: [TYPES] FP and the Chomsky hierarchy Gabriel Scherer
  • Re: [TYPES] FP and the Chomsky hierarchy Frank Pfenning
  • Re: [TYPES] FP and the Chomsky hierarchy oleg
• [TYPES] Topology of the type T = T -> T Izaak Meckler
  • Re: [TYPES] Topology of the type T = T -> T Guy McCusker
  • Re: [TYPES] Topology of the type T = T -> T Martin Escardo
• [TYPES] origin of the term "hom-set"? Derek Dreyer
  • Re: [TYPES] origin of the term "hom-set"? Harley Eades III
  • Re: [TYPES] origin of the term "hom-set"? Uday S Reddy
  • Re: [TYPES] origin of the term "hom-set"? J. Ian Johnson
• [TYPES] Purely functional programming with reference cells Eduardo León
  • Re: [TYPES] Purely functional programming with reference cells Francois Pottier
  • Re: [TYPES] Purely functional programming with reference cells Jon Sterling
  • Re: [TYPES] Purely functional programming with reference cells Jon Sterling
  • Re: [TYPES] Purely functional programming with reference cells Eduardo León
• [TYPES] Types in distributed systems Ionuț G. Stan
  • Re: [TYPES] Types in distributed systems Harley Eades III
  • Re: [TYPES] Types in distributed systems David Ryan
  • Re: [TYPES] Types in distributed systems Frank Pfenning
  • Re: [TYPES] Types in distributed systems Antonio Ravara
  • Re: [TYPES] Types in distributed systems Andrew Myers
  • Re: [TYPES] Types in distributed systems Philip Wadler
  • Re: [TYPES] Types in distributed systems Ionuț G. Stan
  • Re: [TYPES] Types in distributed systems Andreas Rossberg
  • Re: [TYPES] Types in distributed systems Ionuț G. Stan
  • Re: [TYPES] Types in distributed systems David Ryan
  • Re: [TYPES] Types in distributed systems Andreas Rossberg
  • Re: [TYPES] Types in distributed systems Mark Sheldon
  • Re: [TYPES] Types in distributed systems Peter Sewell
  • Re: [TYPES] Types in distributed systems Ionuț G. Stan
• [TYPES] boolean conversation Paul Levy
• [TYPES] decidability vs completeness Paul Levy
  • Re: [TYPES] decidability vs completeness Paul Levy
  • Re: [TYPES] decidability vs completeness Prof Robert Harper
  • Re: [TYPES] decidability vs completeness Jon Sterling
  • Re: [TYPES] decidability vs completeness Thomas Streicher
• [TYPES] type systems in terms of contexts and judgements Vladimir Voevodsky
  • Re: [TYPES] type systems in terms of contexts and judgements Prof Robert Harper
• [TYPES] FW: Joachim (Jim) Lambek Dimitrios Vytiniotis
• [TYPES] Types as theories PATRICK BROWNE
  • Re: [TYPES] Types as theories Rosu, Grigore

• Earlier messages
• Later messages