Search

Your search keyword '"formalised mathematics"' showing total 1 results
Start Over Descriptor "formalised mathematics" Journal entcs: electronic notes in theoretical computer science
1 results on '"formalised mathematics"'

1. Towards a Readable Formalisation of Category Theory.

Author

O'Keefe, Greg

Subjects
MATHEMATICAL programming, CYBERNETICS, MATHEMATICS, SURVEYS
Abstract

We formally develop category theory up to Yoneda''s lemma, using Isabelle/HOL/Isar, and survey previous formalisations. By using recently added Isabelle features, we have produced a formal text that more closely approximates informal mathematics. [Copyright &y& Elsevier]

Published
2004
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results