Categorical combinators for the calculus of constructions

Stable combinatorial logic

Turner, R
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:9109.3968(EU-DCS-CSM--108) / BLDSC -...

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

Polyhedral combinatorics and neural networks

Gee, A.H.
Prager, R.W
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.17(CUED/F-INFENG/TR--100) / BLD...

From categorical combinators to #lambda##sigma#-calculi, a quest for confluence

Hardin, Therese
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 n.177...

Graphs, symmetry and categorical methods

Shrimpton, J

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:DX90204 / BLDSC - British Library Do...

Categorical logic of names and abstraction in action calculi

Pavlovic, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:7623.617100(SU-CS--6/96) / BLDSC - Br...

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

Combinator graph reduction A congruence and its applications

Lester, D

January 1988

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

Combinatorial dynamics

Lambrou, L.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN043736 / BLDSC - British Library D...

Investigations into iconic representations of combinators

Diller, A.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(00-7) / BLDSC - British Lib...

Combinatorial structures with applications to information theory

Quinn, K.A.S

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:DX187569 / BLDSC - British Library D...

Categorical multirelations, linear logic and petri nets Draft

De Paiva, V
Cambridge Univ. (United Kingdom). Computer Lab

January 1991

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

2-colourings and other combinatorial problems

Tarlow, B.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN020626 / BLDSC - British Library D...

Combinatorial structures in nonlinear programming

Scholtes, S.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(6/2002) / BLDSC - British L...

A combinatorial definition of n-types

Porter, T
University Coll. of North Wales, Bangor (United Kingdom). School of Mathematics

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:9079.6451(UCNW-SM-P--90.10) / BLDSC ...

Stable combinatorial logic

Turner, R
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:9109.3968(EU-DCS-CSM--108) / BLDSC -...

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

Polyhedral combinatorics and neural networks

Gee, A.H.
Prager, R.W
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.17(CUED/F-INFENG/TR--100) / BLD...

From categorical combinators to #lambda##sigma#-calculi, a quest for confluence

Hardin, Therese
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1992

Available at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 n.177...

Graphs, symmetry and categorical methods

Shrimpton, J

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:DX90204 / BLDSC - British Library Do...

Categorical logic of names and abstraction in action calculi

Pavlovic, D
Sussex Univ., Brighton (United Kingdom). School of Cognitive and Computing Sciences

January 1996

SIGLEAvailable from British Library Document Supply Centre-DSC:7623.617100(SU-CS--6/96) / BLDSC - Br...

Combinatorial algorithms

Wright, C.D

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:D061393 / BLDSC - British Library Do...

Combinator graph reduction A congruence and its applications

Lester, D

January 1988

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

Combinatorial dynamics

Lambrou, L.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN043736 / BLDSC - British Library D...

Investigations into iconic representations of combinators

Diller, A.
Birmingham Univ. (United Kingdom). School of Computer Science

January 2000

SIGLEAvailable from British Library Document Supply Centre-DSC:8092.7029(00-7) / BLDSC - British Lib...

Combinatorial structures with applications to information theory

Quinn, K.A.S

January 1991

SIGLEAvailable from British Library Document Supply Centre- DSC:DX187569 / BLDSC - British Library D...

Categorical multirelations, linear logic and petri nets Draft

De Paiva, V
Cambridge Univ. (United Kingdom). Computer Lab

January 1991

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

2-colourings and other combinatorial problems

Tarlow, B.

January 1998

SIGLEAvailable from British Library Document Supply Centre-DSC:DXN020626 / BLDSC - British Library D...

Combinatorial structures in nonlinear programming

Scholtes, S.
Cambridge Univ. (United Kingdom). Judge Inst. of Management Studies

January 2002

SIGLEAvailable from British Library Document Supply Centre-DSC:7755.0364(6/2002) / BLDSC - British L...

A combinatorial definition of n-types

Porter, T
University Coll. of North Wales, Bangor (United Kingdom). School of Mathematics

January 1989

SIGLEAvailable from British Library Document Supply Centre- DSC:9079.6451(UCNW-SM-P--90.10) / BLDSC ...

Stable combinatorial logic

Turner, R
Essex Univ., Colchester (United Kingdom). Dept. of Computer Science

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:9109.3968(EU-DCS-CSM--108) / BLDSC -...

The algebra of distributive and extensive categories

Lack, S.G.

January 1995

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

Polyhedral combinatorics and neural networks

Gee, A.H.
Prager, R.W
Cambridge Univ. (United Kingdom). Dept. of Engineering

January 1992

SIGLEAvailable from British Library Document Supply Centre- DSC:9106.17(CUED/F-INFENG/TR--100) / BLD...

Categorical combinators for the calculus of constructions

Abstract

Extracted data

Categorical combinators for the calculus of constructions

Abstract

Extracted data

Related items

Related items