Conference Papers
Year : 2000
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00099291
Submitted on : Tuesday, September 26, 2006-8:52:33 AM
Last modification on : Friday, March 24, 2023-2:52:48 PM
Dates and versions
Identifiers
- HAL Id : inria-00099291 , version 1
Cite
Hélène Kirchner. Algebraic Specifications, Higher-Order Types and Set-Theoretic Models. Winter Workshop in Logics, Types & Rewriting 2000, Feb 2000, Edinburgh, United Kingdom. ⟨inria-00099291⟩
Collections
36
View
0
Download