Project-team PICUBE Proof assistants at the heart of mathematical reasoning Proof assistants at the heart of mathematical reasoning
Centre(s) inria Inria Paris Centre In partnership with CNRS,Université Paris Cité Publications HALActivity reports Contacts Paul-Andre Mellies Team leader Meriem Guemair Team assistant Diana Marino Duarte Team assistant News Job opportunities PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi Deadline to apply 30/09/2024 See more news Discover similar project-teams about the same theme
Job opportunities PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi Deadline to apply 30/09/2024
