The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features an open, distributed architecture centered around a flexible knowledge base and supports the cooperation of independent formal tools.

References in zbMATH (referenced in 323 articles , 5 standard articles )

Showing results 1 to 20 of 323.
Sorted by year (citations)

1 2 3 ... 15 16 17 next

  1. Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien: PSync: a partially synchronous language for fault-tolerant distributed algorithms (2016)
  2. Rabe, Florian: The future of logic: foundation-independence (2016)
  3. Anand, Abhishek; Rahli, Vincent: Towards a formally verified proof assistant (2014)
  4. Boy de la Tour, Thierry; Peltier, Nicolas: Analogy in automated deduction: a survey (2014)
  5. Constable, Robert; Bickford, Mark: Intuitionistic completeness of first-order logic (2014)
  6. Blazy, Sandrine (ed.); Paulin-Mohring, Christine (ed.); Pichardie, David (ed.): Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22--26, 2013. Proceedings (2013)
  7. Rahli, Vincent; Bickford, Mark; Anand, Abhishek: Formal program optimization in Nuprl using computational equivalence and partial types (2013)
  8. Armstrong, Alasdair; Foster, Simon; Struth, Georg: Dependently typed programming based on automated theorem proving (2012)
  9. Bove, Ana; Dybjer, Peter; Sicard-Ramírez, Andrés: Combining interactive and automatic reasoning in first order theories of functional programs (2012)
  10. Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina: Towards logical frameworks in the heterogeneous tool set Hets (2012)
  11. Constable, Robert L. (ed.); Silva, Alexandra (ed.): Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday (2012)
  12. Crolard, T.; Polonowski, E.: Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (2012)
  13. Kreitz, Christoph: Nuprl as logical framework for automating proofs in category theory (2012)
  14. Licata, Daniel R.; Harper, Robert: Canonicity for 2-dimensional type theory (2012)
  15. Meseguer, José: Twenty years of rewriting logic (2012)
  16. Moczydłowski, Wojciech: Unifying sets and programs via dependent types (2012)
  17. Bickford, Mark; Constable, Robert; Halpern, Joseph; Petride, Sabina: Knowledge-based synthesis of distributed systems using event structures (2011)
  18. Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo: Roles, stacks, histories: a triple for Hoare (2011)
  19. Capretta, Venanzio: Coalgebras in functional programming and type theory (2011)
  20. Horozal, Fulya; Rabe, Florian: Representing model theory in a type-theoretical logical framework (2011)

1 2 3 ... 15 16 17 next