Amanote Research
Register
Sign In
Computational Metatheory in Nuprl
doi 10.1007/bfb0012835
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Douglas J. Howe
Publisher
Springer-Verlag
Related search
Protocol Verification in Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanized Metatheory Revisited
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Metatheory of Actions: Beyond Consistency
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Nuprl as Logical Framework for Automating Proofs in Category Theory
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synoptic Vision: Metatheory, Conceptualisation, and Critical Realism
Canadian Journal of Sociology
Sociology
Political Science
Implementing Number Theory: An Experiment With Nuprl
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Mechanized Metatheory of Standard ML
Revitalizing Comparative Library and Information Science: Theory and Metatheory
Journal of Documentation
Information Systems
Library
Information Sciences
The Current State of Transformative Learning Theory: A Metatheory
Phronesis
