×

Found 5 Documents (Results 1–5)

Mathematical quotients and quotient types in Coq. (English) Zbl 1023.03534

Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 95-107 (2003).
MSC:  03B70 68Q60 03F35 68T15 03E25
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Database

Year of Publication

all top 3

Main Field

all top 3

Software