Commits · 972605f52ccf989888b75e47db49e71da55e9566 · Giuseppe Castagna / occurrence-typing

07 Jul, 2019 5 commits
- several rewordings · 972605f5
  Giuseppe Castagna authored Jul 07, 2019
  
  972605f5
- added missing file · 9cb58078
  Giuseppe Castagna authored Jul 07, 2019
  
  9cb58078
- First pass over · d193f703
  Giuseppe Castagna authored Jul 07, 2019
  
  d193f703
- Finished pass on Section 3 · eaf6d4de
  Giuseppe Castagna authored Jul 07, 2019
  
  eaf6d4de
- wording · 2f04fe50
  Giuseppe Castagna authored Jul 07, 2019
  
  2f04fe50
06 Jul, 2019 4 commits
- small fixes · c9956011
  Giuseppe Castagna authored Jul 06, 2019
  
  c9956011
- typos · da16b951
  Giuseppe Castagna authored Jul 06, 2019
  
  da16b951
- Finished pass on refining · 86083962
  Giuseppe Castagna authored Jul 06, 2019
  
  86083962
- record types done · ffb4c5db
  Giuseppe Castagna authored Jul 06, 2019
  
  ffb4c5db
05 Jul, 2019 11 commits
- fix wrong copy/paste · ca1db64b
  Mickael Laurent authored Jul 05, 2019
  
  ca1db64b
- add monotonicity and completeness statement · 0f4a81bb
  Mickael Laurent authored Jul 05, 2019
  
  0f4a81bb
- Fix typos. · f0c8ae97
  Kim Nguyễn authored Jul 05, 2019
  
  f0c8ae97
- More refining. · 49358a9e
  Kim Nguyễn authored Jul 05, 2019
  
  49358a9e
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 94bfb2a7
  Giuseppe Castagna authored Jul 05, 2019
  
  94bfb2a7
- added reference · 49beef11
  Giuseppe Castagna authored Jul 05, 2019
  
  49beef11
- minor fixes in proofs · 06d91497
  Mickael Laurent authored Jul 05, 2019
  
  06d91497
- started organizing extension · 5c8f13e8
  Giuseppe Castagna authored Jul 05, 2019
  
  5c8f13e8
- final touches to section 2 · 655397e2
  Giuseppe Castagna authored Jul 05, 2019
  
  655397e2
- harmonized section 1 and 2 · bdce70de
  Giuseppe Castagna authored Jul 05, 2019
  
  bdce70de
- small rewording of the intro · cd2ab74d
  Giuseppe Castagna authored Jul 05, 2019
  
  cd2ab74d
04 Jul, 2019 11 commits
- minor fix · bae1da77
  Mickael Laurent authored Jul 04, 2019
  
  bae1da77
- typos · 2ff4839b
  Giuseppe Castagna authored Jul 04, 2019
  
  2ff4839b
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 4c0a5ed5
  Giuseppe Castagna authored Jul 04, 2019
  
  4c0a5ed5
- Finished section 2 · 38236212
  Giuseppe Castagna authored Jul 04, 2019
  
  38236212
- More on gradual typing · 5b570b68
  Victor Lanvin authored Jul 04, 2019
  
  5b570b68
- restructuration of the proofs · b2eca9cf
  Mickael Laurent authored Jul 04, 2019
  
  b2eca9cf
- typos · f0bf5660
  Giuseppe Castagna authored Jul 04, 2019
  
  f0bf5660
- add progress proof · 297852c5
  Mickael Laurent authored Jul 04, 2019
  
  297852c5
- Fix AbsInf+ rule. · e7e9e278
  Kim Nguyễn authored Jul 04, 2019
  
  e7e9e278
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · 00684578
  Giuseppe Castagna authored Jul 04, 2019
  
  00684578
- added a correction for Kim's remark · 03cab77d
  Giuseppe Castagna authored Jul 04, 2019
  
  03cab77d
03 Jul, 2019 9 commits
- Typos in intro. · 3c09900b
  Kim Nguyễn authored Jul 03, 2019
  
  3c09900b
- WIP on refining. · e421fc60
  Kim Nguyễn authored Jul 03, 2019
  
  e421fc60
- rewritten intro · d78d8bbf
  Giuseppe Castagna authored Jul 03, 2019
  
  d78d8bbf
- added authors · a06661fa
  Giuseppe Castagna authored Jul 03, 2019
  
  a06661fa
- typo · 33899175
  Giuseppe Castagna authored Jul 03, 2019
  
  33899175
- wording · 8d92ed7c
  Giuseppe Castagna authored Jul 03, 2019
  
  8d92ed7c
- added abstract · 013e5ee4
  Giuseppe Castagna authored Jul 03, 2019
  
  013e5ee4
- duplicated label fixed · 91cce350
  Giuseppe Castagna authored Jul 03, 2019
  
  91cce350
- Merge branch 'master' of gitlab.math.univ-paris-diderot.fr:beppe/occurrence-typing · fd919ed5
  Giuseppe Castagna authored Jul 03, 2019
  
  fd919ed5