17. TPHOLs 2004:
Park City, Utah, USA
Al Davis:
Correct Embedded Computing Futures.
82
Michael Norrish:
Recursive Function Definition for Types with Binders.
241-256
Stefan Richter:
Formalizing Integration Theory with an Application to Probabilistic Algorithms.
271-286
data released under the ODC-BY 1.0 license
