Article

Infinite objects in type theory

Author:

Thierry CoquandAuthors Info & Claims

TYPES '93: Proceedings of the international workshop on Types for proofs and programs

Pages 62 - 78

Published: 02 January 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Ehrhard TJafarrahmani FGorla D(2021)Categorical models of linear logic with fixed points of formulasProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470664(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470664
Møgelberg RVeltri N(2019)Bisimulation as path type for guarded recursive typesProceedings of the ACM on Programming Languages10.1145/32903173:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290317
Reynolds TProcter AHarrison WAllwein G(2019)The Mechanized Marriage of Effects and Monads with Applications to High-assurance HardwareACM Transactions on Embedded Computing Systems10.1145/327428218:1(1-26)Online publication date: 8-Jan-2019
https://dl.acm.org/doi/10.1145/3274282
Show More Cited By

Index Terms

Infinite objects in type theory
1. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Type structures

Recommendations

Infinite Objects in Type Theory
Efficient planning for factored infinite-horizon DEC-POMDPs
IJCAI'11: Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One

Decentralized partially observable Markov decision processes (DEC-POMDPs) are used to plan policies for multiple agents that must maximize a joint reward function but do not communicate with each other. The agents act under uncertainty about each other ...
Finite horizon approximations of infinite horizon linear programs

This paper describes the class of infinite horizon linear programs that have finite optimal values. A sequence of finite horizon (T period) problems is shown to approximate the infinite horizon problems in the following sense: the optimal values of theT ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TYPES '93: Proceedings of the international workshop on Types for proofs and programs

January 1994

383 pages

ISBN:3540580859

Editors:
Henk Barendregt
Univ. of Nijmegen, Nijmegen, The Netherlands
,
Tobias Nipkow
Univ. Mu¨nchen, Munich, Germany

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 January 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

47
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ehrhard TJafarrahmani FGorla D(2021)Categorical models of linear logic with fixed points of formulasProceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science10.1109/LICS52264.2021.9470664(1-13)Online publication date: 29-Jun-2021
https://dl.acm.org/doi/10.1109/LICS52264.2021.9470664
Møgelberg RVeltri N(2019)Bisimulation as path type for guarded recursive typesProceedings of the ACM on Programming Languages10.1145/32903173:POPL(1-29)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1145/3290317
Reynolds TProcter AHarrison WAllwein G(2019)The Mechanized Marriage of Effects and Monads with Applications to High-assurance HardwareACM Transactions on Embedded Computing Systems10.1145/327428218:1(1-26)Online publication date: 8-Jan-2019
https://dl.acm.org/doi/10.1145/3274282
Capretta VFowler JAceto LIngólfsdóttir A(2017)The continuity of monadic stream functionsProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330054(1-12)Online publication date: 20-Jun-2017
https://dl.acm.org/doi/10.5555/3329995.3330054
Severi P(2017)A Light Modality for RecursionProceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 1020310.1007/978-3-662-54458-7_29(499-516)Online publication date: 22-Apr-2017
https://dl.acm.org/doi/10.1007/978-3-662-54458-7_29
Igried BSetzer AChapman JSwierstra W(2016)Programming with monadic CSP-style processes in dependent type theoryProceedings of the 1st International Workshop on Type-Driven Development10.1145/2976022.2976032(28-38)Online publication date: 18-Sep-2016
https://dl.acm.org/doi/10.1145/2976022.2976032
Hackett JHutton G(2014)Worker/wrapper/makes it/fasterACM SIGPLAN Notices10.1145/2692915.262814249:9(95-107)Online publication date: 19-Aug-2014
https://dl.acm.org/doi/10.1145/2692915.2628142
Hackett JHutton GJeuring JChakravarty M(2014)Worker/wrapper/makes it/fasterProceedings of the 19th ACM SIGPLAN international conference on Functional programming10.1145/2628136.2628142(95-107)Online publication date: 19-Aug-2014
https://dl.acm.org/doi/10.1145/2628136.2628142
Hackett JHutton GJaskelioff MPlasmeijer R(2013)The Under-Performing UnfoldProceedings of the 25th symposium on Implementation and Application of Functional Languages10.1145/2620678.2620679(4321-4332)Online publication date: 28-Aug-2013
https://dl.acm.org/doi/10.1145/2620678.2620679
Gammie P(2013)Synchronous digital circuits as functional programsACM Computing Surveys10.1145/2543581.254358846:2(1-27)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1145/2543581.2543588
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Index Terms

Recommendations

Infinite Objects in Type Theory

Efficient planning for factored infinite-horizon DEC-POMDPs

Finite horizon approximations of infinite horizon linear programs

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations