The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
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>
Preserved Fulltext
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>
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(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>