You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Search all journals

Search journals, articles...

Advanced search

Browse

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Search results

Search results page

Article type

Publication date

Subjects

Access

Articles (239010)

Journals (129)

1-10 of 239010 results for types

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2010

A Note on Forcing and Type Theory

Thierry Coquand, Guilhem Jaber

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

Retricted access

Research article

First published 2008

A Type Driven Theory of Predication with Complex Types

Nicholas Asher

Fundamenta Informaticae

Free access

Research article

First published 1996

Positive Recursive Type Assignment

Paweł Urzyczyn

Fundamenta Informaticae

Retricted access

Research article

First published 2010

Complexity of Type Inference

Jerzy Tyszkiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 2006

Implementing Typeful Program Transformations

Chiyan Chen, Rui Shi, Hongwei Xi

Fundamenta Informaticae

Retricted access

Research article

First published 2014

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

Modeling Contexts with Dependent Types

Richard Dapoigny, Patrick Barlatier

Fundamenta Informaticae

Retricted access

Research article

First published 2003-4

Epidemiology of Type 1 and Type 2 Diabetes in Africa

Ayesha A. Motala, Mahomed A. K. Omar, Fraser J. Pirie

European Journal of Preventive Cardiology

Retricted access

Research article

First published 2015

Type-2 soft sets

Rajashi Chatterjee, P Majumdar, SK Samanta

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

1
2
3
•••
23901
10 / page