The heart of intersection type assignment: Normalisation proofs revisited
- 作者Steffen van Bakel
- 卷第398卷
- 印刷ISSN0304-3975
- 文件大小271.03KB
- 发表时间2008
- DOI10.1016/j.tcs.2008.01.020
- 页码82-94
Using and Understanding Medical Statistics || Contents / Preface 4th Edition, Preface 3rd Edition, Preface 2nd Edition / Preface 1st Edition, · 2007
Preface: Preface for Stiefel IssueJohn H. Dawson; Harry B. Gray · 2007
Preface / Preface / VorwortPaedagogica Europaea · 1965
Preface/PrefaceSen, B. · Uniform Law Review - Revue de droit uniforme · 2005
Vorwon / Preface / PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1973
Preface / PrefaceCurrent Sociology · 1955
Vorwort/Preface/PrefaceInternationales Jahrbuch der Erwachsenenbildung · 1975
PREFAZIONE - PREFACE - PREFACENora Federici and Antonio Golini · Genus · 1995
A computational study of ruled surfacesLaurent Busé; Mohamed Elkadi; André Galligo · 2009
[Progress in Mathematics] Computational Algebraic Geometry Volume 109 ||Eyssette, Frédéric; Galligo, André · 1993
Automatic differentiation in OdysséeNICOLE ROSTAING; STÉPHANE DALMAS; ANDRÉ GALLIGO · 1993
Extraction of tori from minimal point setsBusé, Laurent; Galligo, André · Computer Aided Geometric Design · 2017
Automatic differentiation in OdysséeRostaing, Nicole; Dalmas, StéPhane; Galligo, André · Tellus A: Dynamic Meteorology and Oceanography · 1993
Irreducible Decomposition of CurvesAndré Galligo; David Rupprecht · 2002
Effective methods in algebraic geometryAndré Galligo; Luis Miguel Pardo; Josef Schicho · 2009