MSCS 2008 | Sciweavers

Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...

Zhaohui Luo, Robin Adams

claim paper

Read More »

30

click to vote

MSCS
2008

97views more MSCS 2008»

Logical relations for monadic types

13 years 11 months ago

Download www.mimuw.edu.pl

Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...

Jean Goubault-Larrecq, Slawomir Lasota, David Nowa...

claim paper

Read More »

38

click to vote

MSCS
2008

57views more MSCS 2008»

Reducibility of domain representations and Cantor-Weihrauch domain representations

13 years 11 months ago

Download www.cs.swan.ac.uk

Jens Blanck

claim paper

Read More »

19

click to vote

MSCS
2008

85views more MSCS 2008»

Graph lambda theories

13 years 11 months ago

Download www.dsi.unive.it

Antonio Bucciarelli, Antonino Salibra

claim paper

Read More »

23

click to vote

MSCS
2008

57views more MSCS 2008»

Computation with classical sequents

13 years 11 months ago

Download www.doc.ic.ac.uk

Steffen van Bakel, Pierre Lescanne

claim paper

Read More »

26

click to vote

MSCS
2008

86views more MSCS 2008»

Maurer computers for pipelined instruction processing

13 years 11 months ago

Download alexandria.tue.nl

We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...

Jan A. Bergstra, C. A. Middelburg

claim paper

Read More »

20

click to vote

MSCS
2008

93views more MSCS 2008»

Types for ambient and process mobility

13 years 11 months ago

Download www.di.unito.it

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio ...

claim paper