Toggle navigation
Home
People
Departments
Research
About
Login
Search
Reasoning About Functional Programs in Nuprl.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Howe, Douglas J
publication date
1993
published in
Functional Programming, Concurrency, Simulation and Automated Reasoning
Journal
Identity
International Standard Book Number (ISBN) 10
3-540-56883-2
Additional Document Info
start page
145
end page
164
volume
693