Results 91 to 100 of about 13,083 (112)
Some of the next articles are maybe not open access.

Strict intersection types for the Lambda Calculus

ACM Computing Surveys, 2011
Steffen van Bakel
exaly  

Functional Imaging of Cancer with Emphasis on Molecular Techniques

Ca-A Cancer Journal for Clinicians, 2007
Mohamed Houseni
exaly  

A Finite Equational Axiomatization of the Functional Algebras for the Lambda Calculus

Information and Computation, 1999
Antonino Salibra, Robert Goldblatt
exaly  

On the algebraic models of lambda calculus

Theoretical Computer Science, 2000
Antonino Salibra
exaly  

The lambda-context calculus (extended version)

Information and Computation, 2009
Murdoch J Gabbay
exaly  

A Filter Model for Concurrent $\lambda$-Calculus

SIAM Journal on Computing, 1998
Ugo de'Liguoro
exaly  

Home - About - Disclaimer - Privacy