• Cuneiform

  • Referenced in 1 article [sw26049]
  • syntax to the simply typed lambda calculus puts Cuneiform in perspective and allows a straightforward...
  • TILT

  • Referenced in 1 article [sw24052]
  • lambda-term may represent a program. The method is based on a tableau calculus ... labelled with lambda-terms. The rules for the tableau calculus have been augmented for manipulating ... application. This lambda-term represents a proof in the natural deduction calculus. Since the search...
  • LambdaCan

  • Referenced in 0 articles [sw05823]
  • LambdaCan is a small Lambda Calculus reducer (interpreter) designed to run both on UNIX systems...
  • Lambda Free RPOs

  • Referenced in 3 articles [sw28792]
  • orders (RPOs) for higher-order terms without lambda-abstraction and proves many useful properties about ... basis of a higher-order superposition calculus...
  • Lolliproc

  • Referenced in 5 articles [sw22624]
  • linearity has interacted with concurrency primitives in lambda calculi have remained somewhat ... session types. Lolliproc features a simple process calculus “under the hood” but hides the machinery...
  • SOL

  • Referenced in 1 article [sw35247]
  • includes the equational theories of monad and (lambda)-calculi, Plotkin and Power’s theory ... bits, and Stark’s theory of (pi)-calculus. We also demonstrate how this methodology...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gfun

  • Referenced in 133 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Grail

  • Referenced in 19 articles [sw00374]
  • Grail is a symbolic computation environment for finite...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development...
  • HYBRID

  • Referenced in 18 articles [sw00421]
  • Hybrid: a package for higher-order syntax in...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LiDIA

  • Referenced in 52 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA...
  • Macaulay2

  • Referenced in 1692 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2917 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...