
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]
 lambdaterm may represent a program. The method is based on a tableau calculus ... labelled with lambdaterms. The rules for the tableau calculus have been augmented for manipulating ... application. This lambdaterm 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 higherorder terms without lambdaabstraction and proves many useful properties about ... basis of a higherorder 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 higherorder specification and program development...

HYBRID
 Referenced in 18 articles
[sw00421]
 Hybrid: a package for higherorder 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 highlevel language and interactive...