LEADER 01449nam a2200265 i 4500 001 991001723439707536 005 20020503152912.0 008 990929s1998 it ||| | ita 035 $ab10263809-39ule_inst 035 $aEXGIL90463$9ExL 040 $aBiblioteca Interfacoltà$bita 100 1 $aRanisi, Mariano$0254105 245 12$aL'aeroporto italiano :$bdalle origini al secondo conflitto mondiale /$cMariano Ranisi 260 $aRoma :$bAeronautica militare,$c1998 300 $a2 v. ;$c33 cm. 500 $a1 : Teoria e prassi della installazione aeroportuale / Mariano Ranisi. - Roma : Aeronautica militare, 1998. - xii, 464 p. : ill. ; 33 cm. ; 2 : Antologia / Mariano Ranisi. - Roma : Aeronautica militare, 1998. - P. 469-713 : ill. ; 33 cm. - In testa al front.: Stato maggiore aeronautica, Ufficio storico. 650 4$aAeroporti$zItalia$y1919-1946 907 $a.b10263809$b02-04-14$c27-06-02 912 $a991001723439707536 945 $aLE005 900 RAN01. 01 v. 02$g1$i2005000215094$lle005$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1506475x$z26-01-10 945 $aLE005 900 RAN01. 01 v. 01 $g1$i2005000215087$lle005$o-$pE30.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i15064761$z26-01-10 945 $aLE002 St. XXII M 14/I-II$g1$iLE002-26762N-267263N$lle002$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1031491x$z27-06-02 996 $aAeroporto italiano$9211576 997 $aUNISALENTO 998 $a(2)le005$ale002$b01-01-99$cm$da $e-$fita$git $h2$i3 LEADER 02929nam 2200577 450 001 9910813590503321 005 20191226162505.0 010 $a0-8232-8588-X 024 7 $a10.1515/9780823285884 035 $a(CKB)4100000009938646 035 $a(DE-B1597)555093 035 $a(DE-B1597)9780823285884 035 $a(MiAaPQ)EBC5987158 035 $a(OCoLC)1130029728 035 $a(Au-PeEL)EBL5987158 035 $a(EXLCZ)994100000009938646 100 $a20191226d2020 uy 0 101 0 $aeng 135 $aurcnu|||uuuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aBeyond the doctrine of man $edecolonial visions of the human /$fJoseph Drexler-Dreis and Kristien Justaert, editors 210 1$aNew York :$cFordham University Press,$d[2020] 210 4$d2020 215 $a1 online resource (304 pages) 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tContents --$tIntroduction. The projects of unsettling man --$tChapter 1. Where life itself lives --$tChapter 2. Unsettling blues: a decolonial reading of the blues episteme --$tChapter 3. Not your papa?s wynter: women of color contributions toward decolonial futures --$tChapter 4. Enfleshing love: a decolonial theological reading of beloved --$tChapter 5. Nat Turner?s orientation beyond the doctrine of man --$tChapter 6. Mystical bodies of Christ: human, crucified, and beloved --$tChapter 7. African humanism: between the cosmic and the terrestrial --$tChapter 8. Bodies that speak --$tChapter 9. Life beyond the doctrine of man: out of this world with Michel henry and radical queer theory --$tChapter 10. Black life/Schwarz- sein: inhabitations of the flesh --$tAcknowledgments --$tBibliography --$tContributors --$tIndex 330 $aCatalyzed by Sylvia Wynter?s questioning of modern/colonial descriptions of the human person, the essays in Beyond the Doctrine of Man interrogate the problem of these definitions of the human person and take up the struggle to decolonize and unsettle such descriptions.Contributors: Rufus Burnett Jr., M. Shawn Copeland, Yomaira C. Figueroa, Patrice Haynes, Xhercis Méndez, Andrew Prevot, Mayra Rivera, Linn Marie Tonstad, Alexander G. Weheliye 606 $aPhilosophical anthropology 606 $aPostcolonialism 606 $aDecolonization 610 $aDecolonial. 610 $aSylvia Wynter. 610 $abiopolitics. 610 $aflesh. 610 $ahuman. 610 $anew humanism. 615 0$aPhilosophical anthropology. 615 0$aPostcolonialism. 615 0$aDecolonization. 676 $a128 702 $aDrexler-Dreis$b Joseph 702 $aJustaert$b Kristien 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813590503321 996 $aBeyond the doctrine of man$94093189 997 $aUNINA LEADER 07423nam 22007335 450 001 9910768474103321 005 20251116234200.0 010 $a3-540-44716-4 024 7 $a10.1007/3-540-44716-4 035 $a(CKB)1000000000211470 035 $a(SSID)ssj0000323353 035 $a(PQKBManifestationID)11241052 035 $a(PQKBTitleCode)TC0000323353 035 $a(PQKBWorkID)10299877 035 $a(PQKB)11760866 035 $a(DE-He213)978-3-540-44716-0 035 $a(MiAaPQ)EBC3072768 035 $a(PPN)155233319 035 $a(BIP)7088330 035 $a(EXLCZ)991000000000211470 100 $a20121227d2001 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFunctional and Logic Programming $e5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings /$fedited by Herbert Kuchen, Kazunori Ueda 205 $a1st ed. 2001. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001. 215 $a1 online resource (X, 398 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2024 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-41739-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aInvited Papers -- The Metalanguage ?prolog and Its Implementation -- A Scalable Architecture for Proof-Carrying Code -- Parameterized Logic Programs where Computing Meets Learning -- Functional Programming -- Proving Syntactic Properties of Exceptions in an Ordered Logical Framework -- A Higher-Order Colon Translation -- Compiling Lazy Functional Programs Based on the Spineless Tagless G-machine for the Java Virtual Machine -- Logic Programming -- A Higher-Order Logic Programming Language with Constraints -- Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and ?Prolog ? A Case-study ? -- An Effective Bottom-Up Semantics for First-Order Linear Logic Programs -- Functional Logic Programming -- A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs -- Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs -- Adding Linear Constraints over Real Numbers to Curry -- A Complete Selection Function for Lazy Conditional Narrowing -- An Abstract Machine Based System for a Lazy Narrowing Calculus -- Incremental Learning of Functional Logic Programs -- Types -- A General Type Inference Framework for Hindley/Milner Style Systems -- Monadic Encapsulation with Stack of Regions -- Well-Typed Logic Programs Are not Wrong -- Program Analysis and Transformation -- A Framework for Analysis of Typed Logic Programs -- Abstract Compilation for Sharing Analysis -- A Practical Partial Evaluator for a Multi-Paradigm Declarative Language -- A Simple Take on Typed Abstract Syntax in Haskell-like Languages -- Calculus -- A simply typed context calculus with first-class environments -- Refining the Barendregt Cube using Parameters. 330 $aThisvolumecontainstheproceedingsoftheFifthInternationalSymposiumon FunctionalandLogicProgramming,FLOPS2001,heldinTokyo,Japan,March 7{9,2001,andhostedbyWasedaUniversity. FLOPSisaforumforresearchonallissuesconcerningfunctionalprogr- ming and logic programming. In particular, it aims to stimulate the cro- fertilizationaswellastheintegrationofthetwoparadigms. ThepreviousFLOPS meetingstookplaceinFuji-Susono(1995),Shonan(1996),Kyoto(1998),and Tsukuba (1999). The proceedings of FLOPS'99 were published by Springer- VerlagasLectureNotesinComputerScience,volume1722. There were 40 submissions, 38 of which were considered by the program 1 / committee. TheycamefromAustralia(5),Belgium( ),Denmark(3),Egypt 3 1 1 2 1 / / / / (1),France( ),Germany(2 ),Italy(4 ),Japan(5),Korea(1 ),Mexico 2 3 3 2 1 1 5 / / / (1),TheNetherlands(1 ),Spain(10 ),Switzerland(1),UK(1 ),andUSA 6 6 6 1 / (1 ). Eachpaperwasreviewedbyatleastthree,andmostlyfour,reviewers. 2 Theprogramcommitteemeetingwasconductedelectronicallyfortheperiodof twoweeksinNovember2000. Asaresultofactivediscussions,21papers(52. 5%) wereselectedforpresentation,whichappearinthisvolume. Inaddition,weare verypleasedtoincludeinthisvolumefullpapersbythreedistinguishedinvited speakers,namelyGopalanNadathur,GeorgeNecula,andTaisukeSato. Onbehalfoftheprogramcommittee,theprogramchairswouldliketothank theinvitedspeakerswhoagreedtogivetalksandcontributepapers,allthosewho submittedpapers,andalltherefereesfortheircarefulworkinthereviewingand selectionprocess. Thesupportofoursponsorsisalsogratefullyacknowledged. Inparticular,wewouldliketothanktheJapanSocietyforSoftwareScience andTechnology(JSSST),SpecialInterestGrouponPrinciplesofProgramming, andtheAssociationforLogicProgramming(ALP). Finally,wewouldliketo thankthemembersoftheorganizingcommittee,notablyZhenjiangHu,Yasuhiro Ajiro, Kazuhiko Kakehi, and Madoka Kuniyasu, for their invaluable support throughoutthepreparationandorganizationofthesymposium. January2001 HerbertKuchen KazunoriUeda Symposium Organization Program Chairs Herbert Kuchen University of Munster, ¨ Germany Kazunori Ueda Waseda University, Tokyo, Japan Program Committee Sergio Antoy Portland State University, USA Gopal Gupta University of Texas at Dallas, USA Michael Hanus University of Kiel, Germany Fergus Henderson University of Melbourne, Australia Zhenjiang Hu University of Tokyo, Japan Herbert Kuchen University of Munster, ¨ Germany Giorgio Levi University of Pisa, Italy Michael Maher Gri th University, Brisbane, Australia Dale Miller Pennsylvania State University, USA I. V. Ramakrishnan State University of New York at Stony Brook, USA Olivier Ridoux IRISA, Rennes, France Mario Rodr guez-Artalejo Complutense University, Madrid, Spain Colin Runciman University of York, UK Akihiko Takano Hitachi, Ltd. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2024 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputer logic 606 $aArtificial intelligence 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aProgramming languages (Electronic computers) 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 676 $a005.1/4 702 $aKuchen$b Herbert$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aUeda$b Kazunori$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aFuji International Symposium on Functional and Logic Programming 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768474103321 996 $aFunctional and Logic Programming$9772537 997 $aUNINA