Searching for authors named "Laurence Rideau" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Abstract UITP 2003 Preliminary Version TEX macs as Authoring Tool for Formal Developments
- … Audebaud 1 Lemme Project INRIA Sophia Antipolis, France Laurence Rideau 2 Lemme Project INRIA Sophia…
- Add To MetaCart
-
Distributed Programming Environments: An Example of a Message Protocol
- … Rideau N 165 Ao ut 1994 PROGRAMME 2 Calcul symbolique, programmation et genie logiciel Distributed…
- Add To MetaCart
-
Interactive Programming Environment for ML
- … AUTOMATIQUE Interactive Programming Environment for ML Laurence Rideau and Laurent Thery N 3139 March 1997…
- Cited by 7 (0 self) – Add To MetaCart
-
Notions Of Dependency In Proof Assistants
- …Notionsofdependencyinproofassistants OlivierPons,YvesBertotandLaurenceRideau INRIASophia…
- Cited by 5 (3 self) – Add To MetaCart
-
A modular formalisation of finite group theory
- … Rideau † , Enrico Tassi ‡ and Laurent Théry † Microsoft Research INRIA † University of Bologna ‡ gonthier…
- Cited by 1 (0 self) – Add To MetaCart
-
Distributed Architecture for Programming Environments
- … AUTOMATIQUE Distributed Architecture for Programming Environments Anne-Marie Dery, Laurence Rideau N 2918…
- Add To MetaCart
-
Mathematics and Proof Presentation in Pcoq
- … Rideau INRIA Sophia Antipolis 1 Introduction Pcoq is the latest product in a decade-long eoeort…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 7.
