Publisher
Springer International Publishing
Reference54 articles.
1. Altenkirch, T.: Naive type theory (2017). http://www.cs.nott.ac.uk/~psztxa/mgs-17/notes-mgs17.pdf. Lecture Notes for a course at MGS 2017
2. Bar, K., Kissinger, A., Vicary, J.: Globular: an online proof assistant for higher-dimensional rewriting. Logical Methods Comput. Sci. 14(1) (2018). https://doi.org/10.23638/LMCS-14(1:8)2018. http://arxiv.org/abs/1612.01093
3. Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, S.E. (eds.) Handbook of Logic in Computer Science, vol. 2, pp. 117–309. Oxford University Press Inc., New York (1992). http://dl.acm.org/citation.cfm?id=162552.162561
4. Berry, G.: Formally unifying modeling and design for embedded systems - a personal view. In: Margaria and Steffen [38], pp. 134–149. https://doi.org/10.1007/978-3-319-47169-3_11
5. Bishop, E., Bridges, D.: Constructive Analysis. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-61667-9
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Perspectives on adaptive dynamical systems;Chaos: An Interdisciplinary Journal of Nonlinear Science;2023-07-01
2. Responsibility Under Uncertainty: Which Climate Decisions Matter Most?;Environmental Modeling & Assessment;2023-02-02
3. Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018