Sage Journals: Discover world-class research

Retricted access

Research article

First published 1997-12

A Convex Powerdomain over Lattices: its Logic and λ-Calculus

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro

Fundamenta Informaticae

Retricted access

Research article

First published 1994-12

DISTRIBUTIVE EVALUATIONS OF λ-CALCULUS

Cosimo Laneve

Fundamenta Informaticae

Retricted access

Research article

First published 2012-12

Reducibility Proofs in the λ-Calculus

Fairouz Kamareddine, Vincent Rahli, J. B. Wells

Fundamenta Informaticae

Retricted access

Research article

First published 2019

New Semantical Insights Into Call-by-Value λ -Calculus

Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca

Fundamenta Informaticae

Retricted access

Research article

First published 2004-1

Tree Operations in P Systems and λ-Calculus

Nataša Jonoska, Maurice Margenstern

Fundamenta Informaticae

Retricted access

Research article

First published 2007-5

Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi

René David, Karim Nour

Fundamenta Informaticae

Retricted access

Research article

First published 1991

A Problem on Easy Terms in λ -Calculus

Benedetto Intrigila

Fundamenta Informaticae

Free access

Research article

First published 2000-2

Theoretical Foundations of an Environment-Based Multiparadigm Language

Mario Blažević, Zoran Budimac, Mirjana Ivanović

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1985

Nondeterministic Programs Definable in Typed λ -Calculus

Marek Zaionc

Fundamenta Informaticae

Retricted access

Research article

First published 1987

The Regular Expression Descriptions of Unifier Set in the Typed λ -Calculus

Marec Zaionc

Fundamenta Informaticae

Search results