Theory预售LogicalCalculi
ObservationalAssociatio预订Calculi
预售ApplicationsCalculiLambda
预售ConversionCalculiLambda
预售RewritingCalculiLambda
Semantics预订CalculiLogics
预售ObservationalAssociationCalculi
预售FunctionalCalculi
预售SequentCalculiRelated
预售ComputingMobilityProcess
预售FunctionalExistenceEvolution
Application预订CalculiLambda
理论Theory运算Consequence
InstitutionesIntegralis预订Calculi
预售FundamentalsUncertaintyCalculi
Applications预订CalculiLambda
ApplicationsFoundationsAutomatedDeduction
原版中商丘奇阿隆
Lambda结石Calculi海外
9783030869199ApplicationsUnificationFractional
类型化LambdaTypedInternational
预售ApplicationsAlgebraicAbstract
类型化LambdaApplications算法
9789814415972FUNCTIONAL印刷CALCULI
演化方程FunctionalExistence
扣除ApplicationsFoundationsAutomated
LambdaInternationalApplicationsConference
后继Formalisms证明形式
预订CalculiLambda
功能性结石FunctionalCalculi
类型化LambdaInternationalApplications
演算ObservationalAssociation关联
9783030744854EngineeringGeometric预订
