Commits · 042fd9382bb156585434d8a246565b04348b2e58 · Giuseppe Castagna / occurrence-typing

10 Jul, 2019 13 commits
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 042fd938
  Giuseppe Castagna authored Jul 10, 2019
  
  042fd938
- space savings · f844b515
  Giuseppe Castagna authored Jul 10, 2019
  
  f844b515
- add completeness corollary to proofs · 735c19bf
  Mickael Laurent authored Jul 10, 2019
  
  735c19bf
- typos · 2c6b5d0c
  Giuseppe Castagna authored Jul 10, 2019
  
  2c6b5d0c
- added reference to completeness corollary · 0b80f66d
  Giuseppe Castagna authored Jul 10, 2019
  
  0b80f66d
- rank-0 · 0a76220e
  Giuseppe Castagna authored Jul 10, 2019
  
  0a76220e
- small changes · 5bc363b0
  Giuseppe Castagna authored Jul 10, 2019
  
  5bc363b0
- added statements · e8514524
  Giuseppe Castagna authored Jul 10, 2019
  
  e8514524
- typos · c5d0e34b
  Giuseppe Castagna authored Jul 10, 2019
  
  c5d0e34b
- comment added · f08538f8
  Giuseppe Castagna authored Jul 10, 2019
  
  f08538f8
- typos · de5ae1e0
  Giuseppe Castagna authored Jul 10, 2019
  
  de5ae1e0
- typos · 97a4ea42
  Giuseppe Castagna authored Jul 10, 2019
  
  97a4ea42
- typos · d8187fc4
  Giuseppe Castagna authored Jul 10, 2019
  
  d8187fc4
09 Jul, 2019 12 commits
- Added a link to the toplevel. · 2bac800c
  Kim Nguyễn authored Jul 09, 2019
  
  2bac800c
- Typos in practical, removed work done from conclusion, and related work. · f28d7d65
  Kim Nguyễn authored Jul 09, 2019
  
  f28d7d65
- with comments · 0b71098c
  Giuseppe Castagna authored Jul 09, 2019
  
  0b71098c
- Added extended rule · fd6712fb
  Giuseppe Castagna authored Jul 09, 2019
  
  fd6712fb
- less space · f584c9b5
  Giuseppe Castagna authored Jul 09, 2019
  
  f584c9b5
- space savings · 6b6e6629
  Giuseppe Castagna authored Jul 09, 2019
  
  6b6e6629
- rewordings and space savers · 3ed41ac9
  Giuseppe Castagna authored Jul 09, 2019
  
  3ed41ac9
- completeness (version 1) · 01de136a
  Mickael Laurent authored Jul 09, 2019
  
  01de136a
- space savers · 64a3d646
  Giuseppe Castagna authored Jul 09, 2019
  
  64a3d646
- typos · 84ba31e7
  Giuseppe Castagna authored Jul 09, 2019
  
  84ba31e7
- typos · 4faa7d19
  Giuseppe Castagna authored Jul 09, 2019
  
  4faa7d19
- revision of practical · 5babaf02
  Giuseppe Castagna authored Jul 09, 2019
  
  5babaf02
08 Jul, 2019 15 commits
- Updated the conclusion w.r.t to the practical section. · a2b4a74e
  Kim Nguyễn authored Jul 08, 2019
  
  a2b4a74e
- Added all examples and discussion in practical. · 7514d60a
  Kim Nguyễn authored Jul 08, 2019
  
  7514d60a
- rewording · a007b8e9
  Giuseppe Castagna authored Jul 08, 2019
  
  a007b8e9
- Some modifications of proofs · a84e003c
  Victor Lanvin authored Jul 08, 2019
  
  a84e003c
- WIP implementation. · d4dba44b
  Kim Nguyễn authored Jul 08, 2019
  
  d4dba44b
- space saver · f8246980
  Giuseppe Castagna authored Jul 08, 2019
  
  f8246980
- colon · 809e5795
  Giuseppe Castagna authored Jul 08, 2019
  
  809e5795
- rewording · fe78b55e
  Giuseppe Castagna authored Jul 08, 2019
  
  fe78b55e
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 8e45f539
  Giuseppe Castagna authored Jul 08, 2019
  
  8e45f539
- modified explaination for fixpoint · 039367e0
  Giuseppe Castagna authored Jul 08, 2019
  
  039367e0
- add digicosme ack & weaken completeness statement · e1b28f98
  Mickael Laurent authored Jul 08, 2019
  
  e1b28f98
- removed comment · 68879542
  Giuseppe Castagna authored Jul 08, 2019
  
  68879542
- Explained formula worra · 567d8968
  Giuseppe Castagna authored Jul 08, 2019
  
  567d8968
- written outline, moved language2.tex to language.tex · f42df3a1
  Giuseppe Castagna authored Jul 08, 2019
  
  f42df3a1
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 8c389e40
  Giuseppe Castagna authored Jul 08, 2019
  
  8c389e40