pith. sign in

Gilles Dowek

Identifiers

  • name variant Gilles Dowek 0.60 · backfill

Papers (14)

  1. Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits cs.LO · 2023 · author #1
  2. SCTL: Towards Combining Model Checking and Proof Checking cs.LO · 2016 · author #3
  3. Discrete geodesics and cellular automata cs.DM · 2015 · author #2
  4. Cut-elimination and the decidability of reachability in alternating pushdown systems cs.LO · 2014 · author #1
  5. The probability of non-confluent systems cs.LO · 2014 · author #2
  6. Normalisation of a Non-deterministic Type Isomorphic {\lambda}-calculus cs.LO · 2013 · author #2
  7. Non determinism through type isomorphism cs.LO · 2013 · author #2
  8. Causal graph dynamics cs.DM · 2012 · author #2
  9. From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions cs.LO · 2011 · author #1
  10. The physical Church-Turing thesis and the principles of quantum theory quant-ph · 2011 · author #2
  11. On the completeness of quantum computation models cs.CC · 2010 · author #2
  12. A computational definition of the notion of vectorial space cs.LO · 2009 · author #2
  13. Lineal: A linear-algebraic Lambda-calculus quant-ph · 2006 · author #2
  14. Linear-algebraic lambda-calculus quant-ph · 2005 · author #2

Mentions

  • 1507.06836 #2 · backfill · confidence 0.70 Gilles Dowek
  • 1410.8470 #1 · backfill · confidence 0.70 Gilles Dowek
  • 1404.0081 #2 · backfill · confidence 0.70 Gilles Dowek
  • 1306.5089 #2 · backfill · confidence 0.70 Gilles Dowek
  • 1303.7334 #2 · backfill · confidence 0.70 Gilles Dowek
  • 1202.1098 #2 · backfill · confidence 0.70 Gilles Dowek
  • 1111.4611 #1 · backfill · confidence 0.70 Gilles Dowek
  • 1102.1612 #2 · backfill · confidence 0.70 Gilles Dowek
  • 1004.1027 #2 · backfill · confidence 0.70 Gilles Dowek
  • 0911.4051 #2 · backfill · confidence 0.70 Gilles Dowek

Frequent Coauthors