Representing Constructive Theories in High-Level Programming Languages

File(s)

Permanent Link(s)

Collections

Author

Stansifer, Ryan

Abstract

No abstract available

Date Issued

1985-03

Publisher

Cornell University

Keywords

•

Previously Published as

http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR85-664

Type

technical report