Proofs - Kapampangan Language Lessons, On the Formulae-as-Types Correspondence for Classical Logic,

		Friday, 5 December, 2008
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Listing for: Proofs

Order by Popularity | Alphabet

Sites

Records 1-2 of 2

Sponsored Links:

Kapampangan Language Lessons (Popularity: )

A course of study on this widely-spoken Philippine language.
Category: Science\Social Sciences\Linguistics\Languages

On the Formulae-as-Types Correspondence for Classical Logic (Popularity: )

Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types ...
Category: Science\Math\Logic and Foundations\Computational Logic

Home | Submit Science Site | Add to Favorite | Privacy | Contact