✦ LIBER ✦

A System of Simple Type Theory with Type Variables.by Shôji Maehara

✍ Scribed by Review by: Bede Rundle

Book ID: 124972950
Publisher: Association for Symbolic Logic
Year: 1974
Tongue: English
Weight: 151 KB
Volume: 39
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2272914

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-Elimination Theorem Concerning a For

Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Typesby Shôji Maehara

✍ Review by: Moto-o Takahashi 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 198 KB

Approximation of the Navier–Stokes syste

Approximation of the Navier–Stokes system with variable viscosity by a system of Cauchy–Kowaleska type

✍ G. M. de Araújo; S. B. de Menezes; R. B. Gúzman 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 150 KB

## Abstract In this paper, we study the existence of weak solutions when __n__⩽4 of the mixed problem for the Navier–Stokes equations defined in a bounded domain __Q__ using approximation by a system of Cauchy–Kowaleska type. Periodical solutions are also analyzed. Copyright © 2008 John Wiley & Son

A Proof of the Cut-Elimination Theorem i

A Proof of the Cut-Elimination Theorem in Simple Type Theory

✍ Satoko Titani 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 291 KB

Generalization of Sturm-Liouville theory

Generalization of Sturm-Liouville theory to a system of ordinary differential equations with Dirac type spectrum

✍ Chen Ning Yang 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 556 KB

The topological string associated with a

The topological string associated with a simple singularity of type D

✍ Toshio Nakatsu 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 542 KB

Miniaturised Horst-type Wilkinson power

Miniaturised Horst-type Wilkinson power divider with simple layout

✍ Sakagami, I.; Mase, A.; Wang, X.; Ito, N. 📂 Article 📅 2013 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 323 KB