Sage Journals: Discover world-class research

Retricted access

Research article

First published 2001-2

Strong Normalisation of Cut-Elimination in Classical Logic

C. Urban, G.M. Bierman

Fundamenta Informaticae

Retricted access

Research article

First published 2019

The Duality of Classical Intersection and Union Types

Paul Downen, Zena M. Ariola, Silvia Ghilezan

Fundamenta Informaticae

Retricted access

Research article

First published 2007-5

Arithmetical Proofs of Strong Normalization Results for Symmetric λ-calculi

René David, Karim Nour

Fundamenta Informaticae

Retricted access

Research article

First published 2013

Traffic Signal Timing Optimization

Ali Hajbabaie, Rahim F. (Ray) Benekohal

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Research article

First published 1994-7

Arytenoid Separation for Impaired Pediatric Vocal Fold Mobility

Steven D. Gray, Steven M. Kelly, Heather Dove

Annals of Otology,Rhinology & Laryngology

Retricted access

Research article

First published 1995-6

Soft endocavernous prostheses and glandulopexy

E. Austoni, F. Mantovani, F. Colombo [...]

Urologia Journal

Retricted access

Research article

First published 2022-6

Total Ankle Replacement Provides Symmetrical Postoperative Kinematics: A Biplane Fluoroscopy Imaging Study

Amy L. Lenz, Rich J. Lisonbee, Andrew C. Peterson [...]

Foot & Ankle International

Open access

Abstract

First published 2018-7

Does Ankle Muscle Performance Mirror Improved Pain Following Total Ankle Arthroplasty?

Frank DiLiberto, Steven Haddad, Julia Thompson [...]

Foot & Ankle Orthopaedics

Search results