Coalgebraic Up-to Techniques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Coalgebraic Up-to Techniques

Dates et versions

hal-00966075 , version 1 (26-03-2014)

Identifiants

Citer

Damien Pous. Coalgebraic Up-to Techniques. CALCO, Sep 2013, Warsaw, Poland. ⟨10.1007/978-3-642-40206-7_4⟩. ⟨hal-00966075⟩
67 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More