Constructivity in Computer Science
Subtitle: Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings (Lecture Notes in Computer Science)
Contributors: J. Paul Jr. Myers (Editor); Michael J. O'Donnell (Editor); J. P. Myers (Other Contributor)
Publisher: Springer
Published: July 1992
Language: eng
Format: Paperback
Number of pages: 246
ISBN-13: 9783540556312
Subjects: Applied mathematics; General Theory of Computing; Logic; Programming - General; Programming Languages - General; Computers - Languages / Programming
First sentence: We use formal semantic analysis to generate intuitive confidence that the Heyting Calculus is an appropriate system of deduction for constructive reasoning.