Back to Results
First PageMeta Content
Higher-order functions / Recursion / Map / Function / First-order logic / Functor / Fold / Mizar system / Sheaf / Software engineering / Computing / Declarative programming


STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University
Add to Reading List

Document Date: 2010-03-05 21:10:35

Open Document

File Size: 95,51 KB

Share Result on Facebook

Country

Japan / /

Currency

USD / /

/

Facility

Mizar library / Mizar Mathematical Library / /

IndustryTerm

software programs / /

Organization

Faculty of Engineering Information Engineering / /

Person

A. Trybulec / max b / /

Position

author / programmer / /

ProgrammingLanguage

Haskell / D / C / /

SocialTag