Type Theory and Functional Programming

Name: Type Theory and Functional Programming
Author: Simon Thompson

Author / Organization: Simon Thompson

Functional Programming Verification Pending

Overview & Synopsis

This book explains the following topics, Propositional Logic, Predicate Logic, Functional Programming and and

Indexed from repository: FreeBookCentre (freebookcentre.net)

Document Title	Type Theory and Functional Programming
Author / Organization	Simon Thompson
Categories	Functional Programming
Resource Verification	Listed PDF (Verification Pending)
Original Host Website	FreeBookCentre (`freebookcentre.net`)
File Format	application/pdf (Portable Document Format)
Language	EN
Catalog ID	`DOC-309201`
Original Source Link	Visit Source Page on freebookcentre.net »