Sciweavers

743 search results - page 8 / 149

» A Calculus of Gamma Programs

202

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

16 years 3 months ago

Stratified operational semantics for safety and correctness of the region calculus

Download www.doc.ic.ac.uk

Cristiano Calcagno

claim paper

Read More »

153

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

15 years 9 months ago

An Introduction to the Lambda Calculus

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

104

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

15 years 9 months ago

Abstract lambda-Calculus Machines

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

93

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

15 years 9 months ago

A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

87

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

15 years 8 months ago

Just Fast Keying in the Pi Calculus

Download www.di.ens.fr

Martín Abadi, Bruno Blanchet, Cédric...

claim paper

Read More »

« Prev « First page 8 / 149 Last » Next »