Items related to Types for Proofs and Programs: International Workshop,...
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657) - Softcover
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98, held under the auspices of the ESPRIT Working Group 21900.
The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressed.
The 14 revised full papers presented went through a thorough process of reviewing and revision and were selected from a total of 25 candidate papers. All current aspects of type theory and type systems and their relation to proof theory are addressed.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1999
- ISBN 10 3540665374
- ISBN 13 9783540665373
- BindingPaperback
- Number of pages220
- EditorAltenkirch Thorsten, Naraschewski Wolfgang, Reus Bernhard
Buy New
Learn more about this copy
US$ 23.91
Shipping:
US$ 3.99
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Types for Proofs and Programs
Seller:
Rating
Book Description Condition: New. pp. 220. Seller Inventory # 263055794
Buy New
US$ 23.91
Convert currency
Stock Image
Types for Proofs and Programs
Seller:
Rating
Book Description Condition: New. pp. 220 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5840749
Buy New
US$ 23.34
Convert currency
Seller Image
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science (1657)) by Altenkirch, Thorsten, Naraschewski, Wolfgang, Reus, Bernhard [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540665373
Buy New
US$ 55.22
Convert currency
Seller Image
Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Seller:
Rating
Book Description Condition: New. Seller Inventory # 918723-n
Buy New
US$ 60.25
Convert currency
Stock Image
Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers (Lecture Notes in Computer Science, 1657)
Published by
Springer
(1999)
ISBN 10: 3540665374
ISBN 13: 9783540665373
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020174239
Buy New
US$ 58.91
Convert currency
Stock Image
Types for Proofs and Programs : International Workshop; TYPES '98; Kloster Irsee; Germany; March 27-31; 1998; Selected Papers
Published by
Springer
(1999)
ISBN 10: 3540665374
ISBN 13: 9783540665373
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540665373_lsuk
Buy New
US$ 64.52
Convert currency
Seller Image
Types for Proofs and Programs : International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Seller:
Rating
Book Description Condition: New. Seller Inventory # 918723-n
Buy New
US$ 64.51
Convert currency
Stock Image
Types for Proofs and Programs : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540665373
Buy New
US$ 72.85
Convert currency
Stock Image
Types for Proofs and Programs: International Workshop, TYPES ?98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Seller:
Rating
Book Description Condition: New. Seller Inventory # V9783540665373
Buy New
US$ 84.14
Convert currency
Seller Image
Types for Proofs and Programs
Published by
Springer Berlin Heidelberg Sep 1999
(1999)
ISBN 10: 3540665374
ISBN 13: 9783540665373
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop tookplaceinIrsee,Germany,from27to31ofMarch1998andwasattendedby 89researchers. Ofthe25submissions,14wereselectedforpublicationafteraregularref- eeingprocess. The nalchoicewasmadebytheeditors. Thisvolumeisasequeltotheproceedingsfromthe rstworkshopofthe workinggroup,whichtookplaceinAussois,France,inDecember1996. The proceedingsappearedinvol. 1512oftheLNCSseries,editedbyChristinePaulin- MohringandEduardoGim enez. Theseworkshopsare,inturn,acontinuationofthemeetingsorganizedin 1993,1994,and1995undertheauspicesoftheEspritBasicResearchAction 6453 Types for Proofs and Programs. Thoseproceedingswerealsopublished intheLNCSseries,editedbyHenkBarendregtandTobiasNipkow(vol. 806, 1993),byPeterDybjer,BengtNordstr omandJanSmith(vol. 996,1994)and byStefanoBerardiandMarioCoppo(vol. 1158,1995). TheEspritBRA6453 wasacontinuationoftheformerEspritAction3245Logical Frameworks: - sign,ImplementationandExperiments. Thearticlesfromtheannualworkshops organizedunderthatActionwereeditedbyGerardHuetandGordonPlotkin inth Elektronisches BuchLogical FrameworksandLogicalEnvironments,bothpublishedby CambridgeUniversityPress. Acknowledgments WewouldliketothankIrmgardMignaniandAgnesSzabo-Lackingerforhelping uswithprocessingtheregistrations,andRalphMatthesandMarkusWenzelfor organizationalsupportduringthemeeting. Weareindebtedtotheorganizersof theWorkingGroupTypesandalsotoPeterClote,TobiasNipkowandMartin Wirsingforgivingustheopportunitytoorganizethisworkshopandfortheir support. WewouldalsoliketoacknowledgefundingbytheEuropeanUnion. Thisvolumewouldnothavebeenpossiblewithouttheworkofthereferees. Theyarelistedonthenextpageandwethankthemfortheirinvaluablehelp. June1999 ThorstenAltenkirch WolfgangNaraschewski BernhardReus VI List of Referees PeterAczel PetriMa enp a a ThorstenAltenkirch RalphMatthes GillesBarthe MichaelMendler HenkBarendregt WolfgangNaraschewski UliBerger TobiasNipkow MarcBezem SaraNegri VenanzioCapretta ChristinePaulin-Mohring MarioCoppo HenrikPersson CatarinaCoquand RandyPollack RobertoDiCosmo DavidPym GillesDowek ChristopheRa alli MarcDymetman AarneRanta Jean-ChristopheFilli atre BernhardReus NeilGhani EikeRitter MartinHofmann GiovanniSambin MonikaSeisenberger FurioHonsell AntonSetzer PaulJackson JanSmith FelixJoachimski FlorianKammuller SergeiSoloview JamesMcKinna MakotoTakeyama Sim aoMelodeSousa SilvioValentini ThomasKleymann MarkusWenzel HansLeiss BenjaminWerner Table of Contents OnRelatingTypeTheoriesandSetTheories. . . . . . . . . . . . . . . . . . . . . . . . . . 1 PeterAczel CommunicationModellingandContext-DependentInterpretation: AnIntegratedApproach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 Ren eAhn,TijnBorghuis Grobner BasesinTypeTheory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 ThierryCoquand,HenrikPersson AModalLambdaCalculuswithIterationandCaseConstructs. . . . . . . . . . 47 Jo elleDespeyroux,PierreLeleu ProofNormalizationModulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 GillesDowek,BenjaminWerner ProofofImperativeProgramsinTypeTheory. . . . . . . . . . . . . . . . . . . . . . . . . 78 Jean-ChristopheFilli atre AnInterpretationoftheFanTheoreminTypeTheory . . . . . . . . . . . . . . . . . 93 DanielFridlender ConjunctiveTypesandSKInT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 JeanGoubault-Larrecq ModularStructuresasDependentTypesinIsabelle . . . . . . . . . . . . . . . . . . . . 121 FlorianKammul ler MetatheoryofVeri cationCalculiinLEGO. . . . . . . . . . . . . . . . . . . . . . . . . . . 133 ThomasKleymann BoundedPolymorphismforExtensibleObjects . . . . . . . . . . . . . . . . . . . . . . . . 149 LuigiLiquori AboutE ectiveQuotientsinConstructiveTypeTheory . . . . . . . . . . . . . . . . 164 MariaEmiliaMaietti VIII AlgorithmsforEqualityandUni cationinthePresence 220 pp. Englisch. Seller Inventory # 9783540665373
Buy New
US$ 71.90
Convert currency