Sciweavers

87

Voted

MSCS
2002

66views more MSCS 2002»

Axiomatizability in Inclusive Equational Logics

15 years 5 months ago

Axiomatizability in Inclusive Equational Logics

Download fsl.cs.uiuc.edu

Grigore Rosu

claim paper

Read More »

89

MSCS
2002

58views more MSCS 2002»

Tripos Theory in Retrospect

15 years 5 months ago

Tripos Theory in Retrospect

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

92

MSCS
2002

47views more MSCS 2002»

Variations on Realizability: Realizing the Propositional Axiom of Choice

15 years 5 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 »

106

Voted

MSCS
2002

78views more MSCS 2002»

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

15 years 5 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 »

102

MSCS
2002

84views more MSCS 2002»

Universal Homogeneous Graph-Like Structures And Domains

15 years 5 months ago

Universal Homogeneous Graph-Like Structures And Domains

Download www.di.unito.it

Paolo Boldi, Felice Cardone, Manfred Droste

claim paper

Read More »

97

Voted

MSCS
2002

53views more MSCS 2002»

String and Graph Reduction Systems for Gene Assembly in Ciliates

15 years 5 months ago

String and Graph Reduction Systems for Gene Assembly in Ciliates

Download combio.abo.fi

Andrzej Ehrenfeucht, Ion Petre, David M. Prescott,...

claim paper

Read More »

87

MSCS
2002

54views more MSCS 2002»

Local Realizability Toposes and a Modal Logic for Computability

15 years 5 months ago

Local Realizability Toposes and a Modal Logic for Computability

Download www.hss.cmu.edu

Steven Awodey, Lars Birkedal, Dana S. Scott

claim paper

Read More »