𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A syntactical proof of the Marriage Lemma

✍ Scribed by Thierry Coquand

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
96 KB
Volume
290
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Short Proof of Weyl's Lemma
A Short Proof of Weyl's Lemma
✍ Roland Lemmert πŸ“‚ Article πŸ“… 1988 πŸ› John Wiley and Sons 🌐 English βš– 71 KB

Let Q c R a be open and LZ~=ZcaD026 be n linear differential opentor with constant coefficients, and adjoint L\*zi = C (l)'"'e,Dazs. We give D proof of the following variant of WEYL'S lemma. d Letit~rta. Every contiwma 8olutim of h = O in the distributional sense is the iocalhj uniform h i t of G+'-

A short proof of Darboux's lemma
A short proof of Darboux's lemma
✍ Donald E. Knuth; Herbert S. Wilf πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 106 KB
A short proof of Darboux's lemma
A short proof of Darboux's lemma
✍ Donald E. Knuth; Herbert S. Wilf πŸ“‚ Article πŸ“… 1989 πŸ› Elsevier Science 🌐 English βš– 102 KB

Elementary asymptotic methods suffice to establish asymptotic series for the coeficients of analytic functions with algebraic singularities.

A short proof of Rado's lemma
A short proof of Rado's lemma
✍ R.H Cowen πŸ“‚ Article πŸ“… 1972 πŸ› Elsevier Science 🌐 English βš– 97 KB
A syntactical proof of the operational e
A syntactical proof of the operational equivalence of two Ξ»-terms
✍ RenΓ© David; Karim Nour πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 288 KB

In this paper we present a purely syntactical proof of the operational equivalence of I = ixx and the I-term J that is the q-infinite expansion of I.