| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910467004603321 |
|
|
Autore |
Hastie Amelie <1966-> |
|
|
Titolo |
The bigamist / / Amelie Hastie |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Houndmills, Basingstoke, Hampshire ; ; New York : , : Palgrave Macmillan on behalf of the British Film Institute, , 2009 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (96 pages) : illustrations |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (pages 95-96). |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910339042203321 |
|
|
Titolo |
Trends in functional programming . Volume 5 / / edited by Stephen Gilmore |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bristol, : Intellect, 2006 |
|
|
|
|
|
|
|
ISBN |
|
1-280-47712-1 |
9786610477128 |
1-84150-956-6 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (156 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programming |
Functional programming (Computer science) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Proof Support for General Type Classes; Generic Proofs for Combinator-based Generic Programs; Building certified components within focal; Calculating an Exceptional Machine; Generalizing the augment Combinator; Alice Through the Looking Glass; Experiments with GHC's Optimiser; Disjoint Forms in Graphical User Interfaces; A Graphic Functional-Dataflow Language |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, graphics and visual programming to distributed computing and compiler design. As is often the case in this community, the most prolific work comes out of the combination of theoretical work with its application on classical problems in computer science. |
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910965900403321 |
|
|
Autore |
Adkins Brent <1969-> |
|
|
Titolo |
Rethinking philosophy and theology with Deleuze : a new cartography / / Brent Adkins and Paul R. Hinlicky |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York : , : Bloomsbury Pub. Plc, , 2013 |
|
|
|
|
|
|
|
ISBN |
|
9781472548245 |
1472548248 |
9781441110398 |
1441110399 |
9781441158307 |
1441158308 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (420 p.) |
|
|
|
|
|
|
Collana |
|
Bloomsbury studies in Continental philosophy |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Acknowledgements ; Introduction: Assemblages -- Part I: Protology. 1. The Boundaries of the Kantian Problematic ; 2. From Geography to |
|
|
|
|
|
|
|
|
|
|
|
Ontology-Heidegger and Derrida ; 3. Hylozoism and Rhizomatics-Deleuzian Cartography ; Interlude: How to Orient Oneself in Thinking... What Comes Next -- Part II: Eschatology. 4. Deus Absconditus ; 5. Deus Incarnatus ; 6. Deus Revelatus ; Conclusion: What These Bodies Can Do -- Notes -- Bibliography -- Index. |
|
|
|
|
|
|
Sommario/riassunto |
|
"The debate between faith and reason has been a dominant feature of Western thought for more than two millennia. This book takes up the problem of the relation between philosophy and theology and proposes that this relation can be reconceived if both philosophy and theology are seen as different ways of organising affects. Brent Adkins and Paul R. Hinlicky break new ground in this timely debate in two ways. Firstly, they lay bare the contemporary dependence on Kant and propose that our Kantian inheritance leaves us with an insuperable dualism. Secondly, the authors argue that the philosophy of Gilles Deleuze provides a way of resolving the debate between faith and reason that does justice to philosophy and theology by reconceiving of both as assemblages. Deleuze's philosophy differentiates domains of thought in terms of what they create. This seems like a particularly fruitful way to pursue the problem of the relations among philosophy and theology because it allows their distinction without at the same time placing them in opposition to one another."--Bloomsbury Publishing. |
|
|
|
|
|
|
|
| |