Sage Journals: Discover world-class research

Retricted access

Research article

First published 1998-2

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus

Don Pigozzi, Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 1997-10

Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus

Don Pigozzi, Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 2021-11

EXAGRAPH: Graph and combinatorial methods for enabling exascale applications

Seher Acer, Ariful Azad, Erik G Boman [...]

The International Journal of High Performance Computing Applications

Retricted access

Research article

First published 2012-10

Algebraic and Combinatorial Properties of Common RNA Pseudoknot Classes with Applications

Markus E. Nebel, Frank Weinberg

Journal of Computational Biology

Retricted access

Research article

First published 2004-10

Hyperdigraph-Theoretic Analysis of the EGFR Signaling Network: Initial Steps Leading to GTP:Ras Complex Formation

Joseph S. Oliveira, Janet B. Jones-Oliveira, David A. Dixon [...]

Journal of Computational Biology

Retricted access

Research article

First published 2016-5-17

Effective operations of type 2 in PCAs

Eric Faber, Jaap van Oosten

Computability

Retricted access

Research article

First published 2001-4

Nonmodularity Results for Lambda Calculus

Antonino Salibra

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Boldface Recursion on Platek Spaces

Lyubomir Ivanov

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Platek Spaces

Lyubomir Ivanov

Fundamenta Informaticae

Retricted access

Research article

First published 2012-8

Thought Beyond Language

Martin M. Monti, Lawrence M. Parsons, Daniel N. Osherson

Psychological Science

Search results