About: Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
Author	Dubois, Catherine (19..-.... ; informaticienne) Cauderlier, Raphaël (1989-....) Burel, Guillaume (1983-....) Halmagrand, Pierre (1984-....) Hermant, Olivier (1978-....) Delahaye, David (1971-....) Dowek, Gilles (1966-....) Saillard, Ronan (1986-....) Assaf, Ali (1982-....) Gilbert, Frédéric (1989-....)
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
Title	Expressing theories in the λΠ-calculus modulo theory and in the Dedukti system
dc:date	2016

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software