Suspension et fonctorialité: Deux opérations implicites utiles en CaTT

Thibaut Benjamin; Samuel Mimram

Suspension et fonctorialité: Deux opérations implicites utiles en CaTT

Thibaut Benjamin
, Samuel Mimram

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs

Titre traduit de la contribution	Suspension and functoriality: Two implicit operations useful in CaTT
langue originale	Français
Pages	45-60
Nombre de pages	16
état	Publié - 1 janv. 2019
Evénement	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 - Les Rousses, France Durée: 30 janv. 2019 → 2 févr. 2019

Une conférence

Une conférence	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019
Pays/Territoire	France
La ville	Les Rousses
période	30/01/19 → 2/02/19

Contient cette citation

@conference{35a590688c4744728241f805d912fcd2,

title = "Suspension et fonctorialit{\'e}: Deux op{\'e}rations implicites utiles en CaTT",

author = "Thibaut Benjamin and Samuel Mimram",

year = "2019",

month = jan,

day = "1",

language = "Fran{\c c}ais",

pages = "45--60",

note = "30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 ; Conference date: 30-01-2019 Through 02-02-2019",

}

Suspension et fonctorialité: Deux opérations implicites utiles en CaTT. / Benjamin, Thibaut; Mimram, Samuel.
2019. 45-60 Papier présenté � 30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019, Les Rousses, France.

Résultats de recherche: Contribution à une conférence › Papier › Revue par des pairs