Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • phdSlides@final
  • phd@submitted
  • phdSlides@v1
  • phd@v1
  • proofirr@v1.1
  • TYPES2020
  • proofirr@v1
8 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.017Dec151412414Nov13116Oct18Feb12Jan109876532131Dec2928272625242316765314Nov125422Oct2126Nov1924Oct22161295432130Sep292826252321191716141312109876532131Aug302928272524232223Jul191814139876542130Jun292827242322211918171615141312118765432131May302928272625242322212018171615131211109876542129Apr2827262523222120191817151413121110876543131Mar302928272523222118161413119742128Feb262523211816141020Jan1612731Dec30292827262510Nov29Oct2826222119141275432128Sep24211413121110876131Aug3029282726252316Jul30Jun16131May26252420161410619Apr16141228Mar2320191817159432Small typomastermasterAdd datePage, list of toolsLicense, latin square, heap paradoxcontinued intro to social choiceLighter framework, precised Arrow theoremIntroduce criterion rather than methodContinued slightlyIIA exampleContinued intro social choiceContinued social choice theory introAdd introduction to social choice theoryAdd CC-BY 4.0 licenseAdd date of PhD defenceContinued a bitPolished, thrown slides awayUse natural deduction, provide solutionsSome tweaksSome moreMore on LFWorking on LFKind of finished gtsesAdd a section on simple type theorySome more info on PTSsAlmost finished on pure type systemsaobs tikzAlmost finished section on pure type systemsCompleted model computationBackup slides for sequent calculusStart sectoin 3Additional material for section 2Finished section 2Almost finished part 2Kind of finished section 2ContinuedUse BHK interpretationcontinuedTalk about natural deductionContinued and corrected sequent calculusSome more