Submit Software
  1. Home
  2. Linux
  3. Other
  4. slc

slc

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations.

VERSION HISTORY

  • Version files posted on 2010-05-13
    Several fixes and updates
  • Version N/A posted on 2010-05-13

Program Details

Related Programs

  • freeportfolio Free

    Outil web (php/mysql) d'valuation initialement dvelopp l'ENFA ( www.enfa.fr/portfolio ).

  • FIGTree Free

    A library for fast computation of Gauss transforms in multiple dimensions, using the Improved Fast Gauss Transform and Approximate Nearest Neighbor searching. This library is useful for efficient Kernel Density Estimation (KD

  • GenomeDiff Free

    Compare virus genomes visually by dotplot! Java program. Download manually from pubmed! Use alignment view! Compare, for example, Hiv-1 & Visna. Locate p24 within Hiv-1! Compare natural language texts! Export diagram as P

  • AquaLog Free

    An ontology based portable question-answering system which takes queries expressed in natural language and an ontology as input and returns answers drawn from one or more knowledge bases (KBs)

  • hybrid model optimization/identification Free

    hybopt is a set of libraries to solve the identification and optimal control problems for hybrid (mechanistic/empirical) dynamic (ODE and DAE) models.

  • RmscopII Free

    RmscopII is a Tcl/Tk script responsible to redirect protein structure files (PDB files) or RasMol scripts to multiple RasMol sessions. It can be used as a web browser helper application or as a standalone program.

  • Matrix Expression Templates Free

    MET is a C++ matrix class library dealing with expressiontemplates. This technique eliminates the copying and temporaries of matrix objects and can speed up the calculations.

  • Standard Animal Behaviour Ontology Free

    SABO is a top level OWL ontology describing the domain of animal behaviour. Authors:

  • RooFit toolkit for data modelling Free

    The RooFit package provides a toolkit for modeling the expected numerical distributions of the results of a scientific experiment. Models created with RooFit can be used for fitting,visualization, and Monte Carlo studies.

  • Ebooka PDF Viewer Free

    Book and Document Reader with PDF and DjVu support for comfortable reading.If you are looking for a good PDF reader, stop here, you have found it.It does what you expect it to do. You can easily lay down and read pdf books an