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

Thibaut Benjamin; Samuel Mimram

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

Translated title of the contribution: Suspension and functoriality: Two implicit operations useful in CaTT

Thibaut Benjamin
, Samuel Mimram

Research output: Contribution to conference › Paper › peer-review

Translated title of the contribution	Suspension and functoriality: Two implicit operations useful in CaTT
Original language	French
Pages	45-60
Number of pages	16
Publication status	Published - 1 Jan 2019
Event	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019 - Les Rousses, France Duration: 30 Jan 2019 → 2 Feb 2019

Conference

Conference	30emes Journees Francophones des Langages Applicatifs, JFLA 2019 - 30th French-Speaking Conference on Applicative Languages, JFLA 2019
Country/Territory	France
City	Les Rousses
Period	30/01/19 → 2/02/19

Cite this

@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",

}