Showing 1–10 of 10 results
/ Date/ Name
Feb 23, 2013Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive TypesAug 22, 2017Decision Procedure for Entailment of Symbolic Heaps with ArraysJan 29, 2021A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural DeductionFeb 16, 2018Decidability for Entailments of Symbolic Heaps with ArraysApr 11, 2018Completeness of Cyclic Proofs for Symbolic HeapsFeb 11, 2025Explainable Multimodal Machine Learning for Revealing Structure-Property Relationships in Carbon Nanotube FibersMar 4, 2026A Core Calculus for Type-safe Product Lines of C ProgramsSep 5, 2013Induction by Coinduction and Control Operators in Call-by-NameJun 18, 2012Fast Computation of Subpath Kernel for TreesMar 11, 2022A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates