Search dblp for Publications

export results for "toc:db/conf/types/types1999.bht:"

 download as .bib file

@proceedings{DBLP:conf/types/1999,
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44557-9},
  doi          = {10.1007/3-540-44557-9},
  isbn         = {3-540-41517-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Abel99,
  author       = {Andreas Abel},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Specification and Verification of a Formal System for Structurally
                  Recursive Functions},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_1},
  doi          = {10.1007/3-540-44557-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Abel99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/AbelA99,
  author       = {Andreas Abel and
                  Thorsten Altenkirch},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {A Predicative Strong Normalisation Proof for a lambda-Calculus with
                  Interleaving Inductive Types},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {21--40},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_2},
  doi          = {10.1007/3-540-44557-9\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/AbelA99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/BakelBF99,
  author       = {Steffen van Bakel and
                  Franco Barbanera and
                  Maribel Fern{\'{a}}ndez},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Polymorphic Intersection Type Assignment for Rewrite Systems with
                  Abstractions and \emph{beta}-Rule},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {41--60},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_3},
  doi          = {10.1007/3-540-44557-9\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/BakelBF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/BauerW99,
  author       = {Gertrud Bauer and
                  Markus Wenzel},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Computer-Assisted Mathematics at Work (The Hahn-Banach Theorem in
                  Isabelle/Isar)},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {61--76},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_4},
  doi          = {10.1007/3-540-44557-9\_4},
  timestamp    = {Sat, 30 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/BauerW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/BetarteCST99,
  author       = {Gustavo Betarte and
                  Cristina Cornes and
                  Nora Szasz and
                  Alvaro Tasistro},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Specification of a Smart Card Operating System},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {77--93},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_5},
  doi          = {10.1007/3-540-44557-9\_5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/BetarteCST99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/CallaghanL99,
  author       = {Paul Callaghan and
                  Zhaohui Luo},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Implementation Techniques for Inductive Types in Plastic},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {94--113},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_6},
  doi          = {10.1007/3-540-44557-9\_6},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/CallaghanL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/CiaffaglioneG99,
  author       = {Alberto Ciaffaglione and
                  Pietro Di Gianantonio},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {A Co-inductive Approach to Real Numbers},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_7},
  doi          = {10.1007/3-540-44557-9\_7},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/CiaffaglioneG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Delahaye99,
  author       = {David Delahaye},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Information Retrieval in a Coq Proof Library Using Type Isomorphisms},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {131--147},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_8},
  doi          = {10.1007/3-540-44557-9\_8},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Delahaye99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/GoguenBB99,
  author       = {Healfdene Goguen and
                  Richard Brooksby and
                  Rod M. Burstall},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Memory Management: An Abstract Formulation of Incremental Tracing},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {148--161},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_9},
  doi          = {10.1007/3-540-44557-9\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/GoguenBB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Haiyan99,
  author       = {Qiao Haiyan},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {Formalising Formulas-as-Types-as-Objects},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {174--193},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_11},
  doi          = {10.1007/3-540-44557-9\_11},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Haiyan99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Mayero99,
  author       = {Micaela Mayero},
  editor       = {Thierry Coquand and
                  Peter Dybjer and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith},
  title        = {The Three Gap Theorem (Steinhaus Conjecture)},
  booktitle    = {Types for Proofs and Programs, International Workshop TYPES'99, L{\"{o}}keberg,
                  Sweden, June 12-16, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1956},
  pages        = {162--173},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44557-9\_10},
  doi          = {10.1007/3-540-44557-9\_10},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/Mayero99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.