共 50 条
- [42] Tachis: Higher-Order Separation Logic with Credits for Expected Costs PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
- [44] Buffon's Needle Problem for the Taxicab Geometry Or Why π=4 RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2021, 26 (12): : 1663 - 1676
- [46] HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES ADVANCES IN COMPLEX SYSTEMS, 2023, 26 (06):
- [48] Higher-Order Finite Element Modeling of Material Degradation Due to Cutting 2017 IEEE INTERNATIONAL ELECTRIC MACHINES AND DRIVES CONFERENCE (IEMDC), 2017,
- [50] Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 263 - 299