Innovations in computational type theory using Nuprl

13 years 4 months ago

Download www.lorilorigo.net

For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to explore and implement computational type theory (CTT)

Stuart F. Allen, Mark Bickford, Robert L. Constabl

Real-time Traffic

JAPLL 2006 | Nuprl | Theory | Type Theory |

claim paper

Related Content

» Moving ProofsAsPrograms into Practice

» KnowledgeBased Synthesis of Distributed Systems Using Event Structures

» A computational approach to reflective metareasoning about languages with bindings

» A Methodology for Integrating Network Theory and Topic Modeling and its Application to Inn...

» Enhanced Innovation A Fusion of Chance Discovery and Evolutionary Computation to Foster Cr...

» Patterns and computer game design innovation

» A computable type theory for control systems

» Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory

» Opting for Innovation in Mobile Applications

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JAPLL
Authors	Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran

Comments (0)

Sciweavers

Innovations in computational type theory using Nuprl

JAPLL 2006 | Nuprl | Theory | Type Theory |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers