Lambda calculus with types / / Henk Barendregt, Wil Dekkers, Richard Statman ; with contributions from Fabio Alessi [and others] [[electronic resource]]

• Record Nr.: UNINA9910464948403321
• Autore: Barendregt H. P (Hendrik Pieter)
• Pubbl/distr/stampa: Cambridge : , : Cambridge University Press, , 2013
• ISBN: 1-139-89197-9; 1-107-27172-X; 1-107-27381-1; 1-107-27504-0; 1-107-27707-8; 1-139-03263-1; 1-107-27830-9; 1-299-77274-9; 1-107-47131-1
• Descrizione fisica: 1 online resource (xxii, 833 pages) : digital, PDF file(s)
• Collana: Perspectives in logic
• Disciplina: 511.35
• Soggetti: Lambda calculus
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Title from publisher's bibliographic system (viewed on 05 Oct 2015).
• Nota di bibliografia: Includes bibliographical references and indexes.
• Nota di contenuto: Introduction -- Part 1. Simple types. The simply typed lambda calculus -- Properties -- Tools -- Definability, unification and matching -- Extensions -- Applications -- Part II. Recursive types. The systems -- Properties of recursive types -- Properties of terms with types -- Models -- Applications -- Part III. Intersection types. An example system -- Type assignment systems -- Basic properties of intersection type assignment -- Type and lambda structures -- Filter models -- Advanced properties and applications.
• Sommario/riassunto: This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus ; (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.

L'arte del vivere sano [[electronic resource] ] : il Regimen sanitatis Salernitanum e l'età moderna / / Paola Capone ; bibliografia a cura di Flavia Garofalo

• Record Nr.: UNINA9910132038903321
• Autore: Capone Paola
• Pubbl/distr/stampa: Milano, : Guerini e associati, 2005
• ISBN: 88-8335-663-2
• Edizione: [1. ed.]
• Descrizione fisica: 364 p. : ill
• Collana: Kepos. Quaderni ; ; 14
• Disciplina: 610
• Soggetti: Health - Early works to 1800; Medicine, Medieval; History; Humanities; History, Medieval; History of Medicine; Public Health; Health & Biological Sciences; Public Health - General
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references.

Vorlesungen über die Pädagogik und amtliche Voten zum öffentlichen Unterricht / / Friedrich Daniel Ernst Schleiermacher ; herausgegeben von Jens Beljan [and four others]

• Record Nr.: UNINA9910796522503321
• Autore: Schleiermacher Friedrich Daniel Ernst
• Pubbl/distr/stampa: Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017; ©2017
• ISBN: 3-11-043002-9
• Descrizione fisica: 1 online resource (922 pages) : illustrations
• Collana: Kritische Gesamtausgabe ; ; Band 12
• Disciplina: 370.71
• Soggetti: Education - Study and teaching
• Lingua di pubblicazione: Tedesco
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Frontmatter -- Inhaltsverzeichnis -- Einleitung der Herausgeber -- Einleitung der Bandherausgeberinnen und Bandherausgeber -- Amtliche Voten zum öffentlichen Unterricht (1810-1814) -- Vorlesungen über die Pädagogik im Winter 1813/14 -- Gedanken zur Pädagogik im Winter 1813/14 -- Vorlesungen über die Pädagogik im Winter 1820/21 -- Gedanken zur Pädagogik im Winter 1820/21 -- Vorlesungen über die Pädagogik im Sommer 1826 -- Schluss der Vorlesungen über die Pädagogik im Sommer 1826 -- Anhang -- Verzeichnisse -- Register
• Sommario/riassunto: Die Textkritische Edition von Schleiermachers Vorlesungen über die Pädagogik und dessen Voten zum öffentlichen Unterricht bietet die zentralen pädagogischen Texte Schleiermachers erstmalig philologisch gesichert und chronologisch geordnet in einem Band.Im Rahmen seines Direktorats bei der "Wissenschaftlichen Deputation" in Berlin und als Mitglied der "Sektion für den öffentlichen Unterricht" beim Ministerium des Inneren verfasste Schleiermacher eine Reihe von erziehungstheoretisch bedeutsamen Voten, die als Manuskripte erhalten sind und hier größtenteils zum ersten Mal veröffentlicht oder (einige wenige bereits edierte) erstmalig in textkritischer Gestalt geboten werden.Während das Kolleg von 1813/14 auf Aufzeichnungen von Schleiermachers Hand beruht, die sekundär überliefert sind, werden die Pädagogik-Vorlesungen von 1820/21 und 1826 dank einer ; veränderten Quellenlage nicht kompiliert, sondern als zusammenhängende Texte auf der Grundlage jeweils einer studentischen Aufzeichnung von Schleiermachers Vorlesung präsentiert.Der Band II/12 ist nicht nur für die Schleiermacherforschung allgemein bedeutsam, sondern auch für die erziehungswissenschaftliche Forschung, insbesondere für die pädagogische Theoriebildung.