Sciweavers

743 search results - page 8 / 149

» A Calculus of Gamma Programs

259

POPL
2001
ACM

104views Programming Languages» more POPL 2001»

Stratified operational semantics for safety and correctness of the region calculus

16 years 7 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 »

218

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

16 years 26 days ago

An Introduction to the Lambda Calculus

Download www.dcc.uchile.cl

Zoltán Csörnyei, Gergely Dévai

claim paper

Read More »

156

CEFP
2007
Springer

155views Programming Languages» more CEFP 2007»

Abstract lambda-Calculus Machines

16 years 26 days ago

Abstract lambda-Calculus Machines

Download www.informatik.uni-kiel.de

Werner E. Kluge

claim paper

Read More »

141

Voted

ESOP
2007
Springer

110views Programming Languages» more ESOP 2007»

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

16 years 26 days ago

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

Download www.cs.unibo.it

Cristian Versari

claim paper

Read More »

134

ESOP
2004
Springer

114views Programming Languages» more ESOP 2004»

Just Fast Keying in the Pi Calculus

16 years 2 days 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 »