Sciweavers

10 search results - page 1 / 2

» mscs 2002

110

Voted

MSCS
2002

66views more MSCS 2002»

Axiomatizability in Inclusive Equational Logics

15 years 7 months ago

Axiomatizability in Inclusive Equational Logics

Download fsl.cs.uiuc.edu

Grigore Rosu

claim paper

Read More »

107

Voted

MSCS
2002

58views more MSCS 2002»

Tripos Theory in Retrospect

15 years 7 months ago

Tripos Theory in Retrospect

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

118

Voted

MSCS
2002

47views more MSCS 2002»

Variations on Realizability: Realizing the Propositional Axiom of Choice

15 years 7 months ago

Variations on Realizability: Realizing the Propositional Axiom of Choice

Download www.dpmms.cam.ac.uk

J. M. E. Hyland

claim paper

Read More »

124

Voted

MSCS
2002

78views more MSCS 2002»

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces

15 years 7 months ago

Topological and Limit-Space Subcategories of Countably-Based Equilogical Spaces

Download homepages.inf.ed.ac.uk

Matías Menni, Alex K. Simpson

claim paper

Read More »

125

Voted

MSCS
2002

84views more MSCS 2002»

Universal Homogeneous Graph-Like Structures And Domains

15 years 7 months ago

Universal Homogeneous Graph-Like Structures And Domains

Download www.di.unito.it

Paolo Boldi, Felice Cardone, Manfred Droste

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »