Filters








2 Hits in 4.4 sec

Page 1038 of Mathematical Reviews Vol. , Issue 94b [page]

<span title="">1994</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
reductions (45-59); Franco Barbanera and Maribel Fernandez, Combining first and higher order rewrite systems with type assign- ment systems (60-74); Nick Benton, Gavin Bierman, Valeria de Paiva and Martin  ...  Gilles Dowek, The undecidability of typability in the lambda-pi-calculus (139-145); Giorgio Ghelli, Recursive types are not conservative over F < (extended abstract) (146-162); Philippe de Groote, The  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1994-02_94b/page/1038" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1994-02_94b/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Page 72 of Mathematical Reviews Vol. , Issue Index [page]

<i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
(English summary) 98m:03026 — (with Fernandez, Maribel; Geuvers, Herman) Modularity of strong normalization in the algebraic-A-cube.  ...  (English summary) 98j:03017 Fernandez, Maribel see Barbanera, Franco; et al., 98k:03032 Ferreira, Maria C. F.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998_index_1/page/72" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998_index_1/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>