| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910968157203321 |
|
|
Autore |
McMillan James F. <1948-> |
|
|
Titolo |
France and women, 1789-1914 : gender, society and politics / / James F. McMillan |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York, : Routledge, 2000 |
|
|
|
|
|
|
|
ISBN |
|
1-134-58957-3 |
0-203-24885-6 |
1-134-58958-1 |
1-280-33304-9 |
0-203-02015-4 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Women - France - History |
Women - France - Social conditions |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 258-279) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
part PART 1 (1789–1815) Redefining women’s sphere -- chapter 1 Defining womanhood -- The legacy of the Enlightenment -- chapter 2 The rights of man and the rights of woman -- Women and the French Revolution -- chapter 3 Revolutionary aftermath -- The reconstruction of the gender order -- part Part II (1815–50) Public man, private woman? -- chapter 4 ‘Angels of the hearth’? -- Leisured ladies and the limits of domesticity -- chapter 5 Labouring women -- Work, family and community in the classes populaires -- chapter 6 Femmes nouvelles -- Feminists, socialists and republicans in the Romantic era -- part Part III (1850–80) Discourses on ‘woman’ -- chapter 7 Femininity: constructions, consequence, control -- Constructions, consequences, control -- chapter 8 Representations of the ouvrière -- The discourse on female labour -- chapter 9 Reformulating the ‘woman question’ -- From literary polemics to organised feminism -- part Part IV (1880–1914) Gender relations in crisis? -- chapter 10 A new Eve? -- Bourgeois women in the belle époque -- chapter 11 Gender at work -- Women workers and the sexual division of labour -- chapter 12 In search of citizenship -- Feminists and women’s suffrage. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
France and Women, 1789-1914 is the first book to offer an authoritative account of women's history throughout the nineteenth century. James McMillan, author of the seminal work Housewife or Harlot, offers a major reinterpretation of the French past in relation to gender throughout these tumultuous decades of revolution and war. This book provides a challenging discussion of the factors which made French political culture so profoundly sexist and in particular, it shows that many of the myths about progress and emancipation associated with modernisation and the coming of mass politics do not stand up to close scrutiny. It also reveals the conservative nature of the republican left and of the ingrained belief throughout french society that women should remain within the domestic sphere. James McMillan considers the role played by French men and women in the politics, culture and society of their country throughout the 1800s. |
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910483078203321 |
|
|
Titolo |
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings / / edited by Georges Gonthier, Michael Norrish |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 309 p. 44 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 8307 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Machine theory |
Compilers (Computer programs) |
Computer science - Mathematics |
Artificial intelligence |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Compilers and Interpreters |
Symbolic and Algebraic Manipulation |
Artificial Intelligence |
Computer Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Lectures -- πn(Sn) in Homotopy Type Theory -- Session 1: Code Verification -- Mostly Sound Type System Improves a Foundational Program Verifier -- Computational Verification of Network Programs in Coq -- Aliasing Restrictions of C11 Formalized in Coq -- Session 2: Elegant Proofs -- Proof Pearl: A Verified Bignum Implementation in x86-64 Machine Code -- A Constructive Theory of Regular Languages in Coq -- Certified Parsing of Regular Languages -- Session 3: Proof Libraries -- Nonfree Datatypes in Isabelle/HOL: Animating a Many-Sorted Metatheory -- Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL -- Refinements for Free! -- Session 4: Mathematics -- A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem -- Certified Kruskal’s Tree Theorem -- Extracting Proofs from Tabled Proof Search -- Session 5: Certified Transformations -- Formalizing the SAFECode Type System -- Certifiably Sound Parallelizing Transformations -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing Probabilistic Noninterference -- Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties -- A Formal Model and Correctness Proof for an Access Control Policy Framework. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the Third International Conference on Certified Programs and Proofs, CPP 2013, colocated with APLAS 2013 held in Melbourne, Australia, in December 2013. The 18 revised regular papers presented together with 1 invited lecture were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on code verification, elegant proofs, proof libraries, certified transformations and security. |
|
|
|
|
|
|
|
| |