Back to Results
First PageMeta Content
Morphisms / Function / Surjective function / Category / Sheaf / Homomorphism / Coproduct / Enumeration / Bijection / Mathematics / Mathematical analysis / Functions and mappings


Author manuscript, published in "CICM[removed]Conferences on Intelligent Computer Mathematics[removed][removed]" DOI : [removed][removed]4_1
Add to Reading List

Document Date: 2013-07-12 07:37:39

Open Document

File Size: 346,50 KB

Share Result on Facebook

Company

Microsoft / /

Facility

The library / /

IndustryTerm

set-level product / software engineering effort leading / enough infrastructure / software systems / software verification / finite carrier / /

MarketIndex

set 10 / /

Organization

International Monetary Fund / /

Person

Georges Gonthier / /

Position

Author / rT / group type rT / aT and codomain rT / proof assistant / Coq proof assistant / /

ProvinceOrState

Alberta / /

PublishedMedium

the Pacific Journal of Mathematics / /

URL

http /

SocialTag