Add to ORKGSIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--116) / BLDSC - British Library Document Supply CentreGBUnited Kingdo
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--210) / BLDSC - Br...
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-214) / BLDSC ...
SIGLEAvailable from British Library Document Supply Centre- DSC:9091.9(AEA-InTech--0818) / BLDSC - B...
SIGLEAvailable from British Library Document Supply Centre- DSC:D59370 / BLDSC - British Library Doc...
SIGLEAvailable from British Library Document Supply Centre- DSC:D80635 / BLDSC - British Library Doc...
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UCMS--93-6-4) / BLDSC - Bri...
We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a doma...
SIGLEAvailable from British Library Document Supply Centre- DSC:D062072 / BLDSC - British Library Do...
AbstractWe present a domain-theoretical model of parametric polymorphism based on admissible per’s o...
Abstract. This paper shows how parametric PILLY (Polymorphic Intuitionistic / Linear Lambda calculus...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX83998 / BLDSC - British Library Do...
We provide a categorical framework for models of a type theory that has special types for physical q...
AbstractWe give an illustration of a construction useful in producing and describing models of Girar...
with a fixed point combinator Y) with parametric polymorphism can be used as a metalanguage for doma...
We give an illustration of a construction useful in producing and describing models of Girard and Re...
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--210) / BLDSC - Br...
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-214) / BLDSC ...
SIGLEAvailable from British Library Document Supply Centre- DSC:9091.9(AEA-InTech--0818) / BLDSC - B...
SIGLEAvailable from British Library Document Supply Centre- DSC:D59370 / BLDSC - British Library Doc...
SIGLEAvailable from British Library Document Supply Centre- DSC:D80635 / BLDSC - British Library Doc...
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.845(UCMS--93-6-4) / BLDSC - Bri...
We present a domain-theoretic model of parametric polymorphism based on admissible per’s over a doma...
SIGLEAvailable from British Library Document Supply Centre- DSC:D062072 / BLDSC - British Library Do...
AbstractWe present a domain-theoretical model of parametric polymorphism based on admissible per’s o...
Abstract. This paper shows how parametric PILLY (Polymorphic Intuitionistic / Linear Lambda calculus...
SIGLEAvailable from British Library Document Supply Centre- DSC:DX83998 / BLDSC - British Library Do...
We provide a categorical framework for models of a type theory that has special types for physical q...
AbstractWe give an illustration of a construction useful in producing and describing models of Girar...
with a fixed point combinator Y) with parametric polymorphism can be used as a metalanguage for doma...
We give an illustration of a construction useful in producing and describing models of Girard and Re...
SIGLEAvailable from British Library Document Supply Centre- DSC:8723.247(CU-CL-TR--210) / BLDSC - Br...
SIGLEAvailable from British Library Document Supply Centre- DSC:5186.0913(ECS-LFCS--92-214) / BLDSC ...
SIGLEAvailable from British Library Document Supply Centre- DSC:9091.9(AEA-InTech--0818) / BLDSC - B...