Bibliographic Citation
| - Assaf Ali, Burel Guillaume, Cauderlier Raphal, Delahaye David, Dowek Gilles, Dubois Catherine, Gilbert Frédéric, Halmagrand Pierre, Hermant Olivier, Saillard Ronan. Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system. TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
- Assaf Ali, Burel Guillaume, Cauderlier Raphal, Delahaye David, Dowek Gilles, Dubois Catherine, Gilbert Frédéric, Halmagrand Pierre, Hermant Olivier, Saillard Ronan . Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system . TYPES: Types for Proofs and Programs, May 2016, Novi SAd, Serbia
|