A mechanized theory of the #pi#-calculus in HOL

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

On the geometry of mechanisms

Marsh, D

January 1987

Available from British Library Document Supply Centre- DSC:DX87995 / BLDSC - British Library Documen...

M-theory phenomenology

Pokorski, W.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:D203865 / BLDSC - British Library Doc...

A model for the #pi# calculus

Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--8/91) / BLDSC - B...

Object in the #pi#-calculus

Walker, D
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--217) / BLDSC -...

The polyadic #pi#-calculus A tutorial

Milner, R
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-180) / BLDSC ...

Formalising a model of the #lambda#-calculus in HOL-ST

Agerholm, S
Cambridge Univ. (United Kingdom). Computer Lab

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--354) / BLDSC - Br...

A unification algorithm for the #lambda# #pi#-calculus

Pym, D.J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-229) / BLDSC ...

A refinement calculus for Z

Cavalcanti, A.
Oxford Univ. Computing Lab. (United Kingdom). Programming Research Group

January 1997

Ph.D. ThesisAvailable from British Library Document Supply Centre-DSC:8671.220(123) / BLDSC - Britis...

A classical linear #lambda#-calculus

Bierman, G
Cambridge Univ. (United Kingdom). Computer Lab

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(CU-CL-TR--401) / BLDSC - Bri...

The partial lambda-calculus

Moggi, E

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:D85058 / BLDSC - British Library Doc...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

Malliavin calculus

Norris, J.R

January 1985

Available from British Library Document Supply Centre- DSC:D66528/86 / BLDSC - British Library Docum...

The High Level Petri Box Calculus Basic concepts

Hall, J
York Univ. (United Kingdom). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7624.255(YU-YCS--196) / BLDSC - Brit...

Theory X and theory Y

Saunders, B
Further Education Staff Coll., Bristol (United Kingdom)

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:4481.874(FESC-IBN--2576) / BLDSC - B...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

On the geometry of mechanisms

Marsh, D

January 1987

Available from British Library Document Supply Centre- DSC:DX87995 / BLDSC - British Library Documen...

M-theory phenomenology

Pokorski, W.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:D203865 / BLDSC - British Library Doc...

A model for the #pi# calculus

Hennessy, M
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--8/91) / BLDSC - B...

Object in the #pi#-calculus

Walker, D
Warwick Univ., Coventry (United Kingdom). Dept. of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:7769.09285(WU-DCS-RR--217) / BLDSC -...

The polyadic #pi#-calculus A tutorial

Milner, R
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--91-180) / BLDSC ...

Formalising a model of the #lambda#-calculus in HOL-ST

Agerholm, S
Cambridge Univ. (United Kingdom). Computer Lab

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--354) / BLDSC - Br...

A unification algorithm for the #lambda# #pi#-calculus

Pym, D.J
Edinburgh Univ. (United Kingdom). Lab. for Foundations of Computer Science

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-229) / BLDSC ...

A refinement calculus for Z

Cavalcanti, A.
Oxford Univ. Computing Lab. (United Kingdom). Programming Research Group

January 1997

Ph.D. ThesisAvailable from British Library Document Supply Centre-DSC:8671.220(123) / BLDSC - Britis...

A classical linear #lambda#-calculus

Bierman, G
Cambridge Univ. (United Kingdom). Computer Lab

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:8723.247(CU-CL-TR--401) / BLDSC - Bri...

The partial lambda-calculus

Moggi, E

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:D85058 / BLDSC - British Library Doc...

Laws of the logical calculi

Sanders, J
Morgan, C.
Oxford Univ. (United Kingdom). Computer Lab. Programming Research Group

January 1989

Available from British Library Document Supply Centre- DSC:8671.22(PRG--78) / BLDSC - British Librar...

Malliavin calculus

Norris, J.R

January 1985

Available from British Library Document Supply Centre- DSC:D66528/86 / BLDSC - British Library Docum...

The High Level Petri Box Calculus Basic concepts

Hall, J
York Univ. (United Kingdom). Dept. of Computer Science

January 1993

SIGLEAvailable from British Library Document Supply Centre- DSC:7624.255(YU-YCS--196) / BLDSC - Brit...

Theory X and theory Y

Saunders, B
Further Education Staff Coll., Bristol (United Kingdom)

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:4481.874(FESC-IBN--2576) / BLDSC - B...

Regge-Palatini calculus

Drummond, I.T
Cambridge Univ. (United Kingdom). Dept. of Applied Mathematics and Theoretical Physics

Available from British Library Document Supply Centre- DSC:9106.16(DAMTP--85-28) / BLDSC - British L...

On the geometry of mechanisms

Marsh, D

January 1987

Available from British Library Document Supply Centre- DSC:DX87995 / BLDSC - British Library Documen...

M-theory phenomenology

Pokorski, W.

January 1999

SIGLEAvailable from British Library Document Supply Centre-DSC:D203865 / BLDSC - British Library Doc...

A mechanized theory of the #pi#-calculus in HOL

Abstract

Extracted data

A mechanized theory of the #pi#-calculus in HOL

Abstract

Extracted data

Related items

Related items