Dual Calculus; Classical lambda calculi; Curry-Howard isomorphism; Continuations;
机译:时间尺度:从Nabla微积分到Delta微积分,再到通过对偶的Versa
机译:牙结石在同位素分析方面不等同于骨胶原蛋白:对来自El Raval中世纪遗址(西班牙阿利坎特)的同一个体的大块牙结石,骨骼和牙本质胶原蛋白进行碳和氮稳定同位素分析的比较
机译:微积分去哪儿了?调查微积分思想如何在以后的课程中使用
机译:λ(λ)-演算:无约束策略的对偶演算
机译:后续微积分:计算和对偶的逻辑和语言
机译:调查植物微遗骸嵌入Motya(西西里岛(Sicily)的腓尼基居民(意大利)的牙科微积分
机译:多变量微积分的个性化计算机研究
机译:量子球上的微分学与变形自对偶方程