Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-6

A Note on Forcing and Type Theory

Thierry Coquand, Guilhem Jaber

Fundamenta Informaticae

Retricted access

Research article

First published 2008-4

A Type Driven Theory of Predication with Complex Types

Nicholas Asher

Fundamenta Informaticae

Retricted access

Research article

First published 1991-09

Ideal Types or Empirical Types: the Case of Max Weber's Empirical Research

Udo Kuckartz

Bulletin of Sociological Methodology/Bulletin de Méthodologie Sociologique

Free access

Research article

First published 1996-11

Positive Recursive Type Assignment

Paweł Urzyczyn

Fundamenta Informaticae

Retricted access

Research article

First published 2010-9

Complexity of Type Inference

Jerzy Tyszkiewicz

Fundamenta Informaticae

Retricted access

Other

First published 2007-01

Improving outcomes of pregnancy for women with type 1 and type 2 diabetes

Helen R Murphy, Rosemary C Temple, Jonathan M Roland

The British Journal of Diabetes & Vascular Disease

Retricted access

Research article

First published 2006-1

Implementing Typeful Program Transformations

Chiyan Chen, Rui Shi, Hongwei Xi

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2-20

Union,intersection and refinement types and reasoning about type disjointness for secure protocol implementations

Michael Backes, Cătălin Hriţcu, Matteo Maffei

Journal of Computer Security

Retricted access

Research article

First published 2010-10

Modeling Contexts with Dependent Types

Richard Dapoigny, Patrick Barlatier

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10-5

Type-2 soft sets

Rajashi Chatterjee, P Majumdar, SK Samanta

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Search results