FrontPage
FindPage
TitleIndex
RecentChanges
UserPreferences
Proofs And Types
WikiMarkup
›
WikiWikiWeb
›
i
ndian-air-fares-49
›
i
ndia-cheap-airfares-369
›
UnderstandingAndDeployingLDAPDirectoryServices
› ProofsAndTypes
The book is out of print. You can find the online book in
http://www.dcs.qmw.ac.uk/~pt/
[
edit
]
Questions
¶
[
edit
]
Some Concepts
¶
CurryHowardIsomorphism
[
edit
]
Links
¶
http://flint.cs.yale.edu/shao/cs430/lectureNotes/
last modified 2009-03-09 12:46:57
EditText
FindPage
DeletePage
LikePages
![[ISBN-0-521-37181-3]](http://images.amazon.com/images/P/0521371813.01.MZZZZZZZ.gif "Amazon:ISBN-0521371813")