MPG.eBooks - Search Results - (("bounded variation") OR ("bounded variables"))

Search alternatives:
"bounded variables" » "bounded variable", "bound variables", "bind variables"

by Otto, Martin
Published 2016

Cambridge University Press

“... and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable...”

by Hindley, J. Roger, Seldin, J. P.
Published 2008

Cambridge University Press

Table of Contents: “...; Appendix A1. Bound variables and alpha-conversion; Appendix A2. Confluence proofs; Appendix A3. Strong...”

by Favre, Charles, Jonsson, Mattias
Published 2004

Springer Berlin Heidelberg

Table of Contents: “... Topology -- 7.3 Borel Measures -- 7.4 Functions of Bounded Variation -- 7.5 Representation Theorem I -- 7.6...”

by Bimbó, Katalin
Published 2012

CRC Press

Table of Contents: “... logic; Elimination of bound variables; Typed combinatory logic; Simply typed combinatory logic...”

Published 1994

Birkhäuser

Table of Contents: “... of Bounded Variation -- Simultaneous Diagonalization Algorithms -- On Some Approximations for the Zeros...”

by Comtet, Louis
Published 1974

Springer Netherlands

Table of Contents: “... -- 1.9. Subsets of Z/nZ -- 1.10. Divisions and Partitions of a Set; Multinomial Identity -- 1.11. Bound...”