类型化LambdaApplications算法
LambdaInternationalApplicationsConference
类型化LambdaInternationalApplications
后继Formalisms证明形式
演算ObservationalAssociation关联
理论Theory演算推论
运算几何EngineeringGeometric
类型化LambdaTypedInternational
Calculi并发ConcurrencyModelling
InstitutionesIntegralis积分Calculi
离散International程序设计Programming
ObservationalAssociatio预订Calculi
预售ApplicationsCalculiLambda
预售ObservationalAssociationCalculi
预售ConversionCalculiLambda
Theory预售LogicalCalculi
预售SequentCalculiRelated
预售FunctionalCalculi
Application预订CalculiLambda
理论Theory运算Consequence
预售RewritingCalculiLambda
预售ComputingMobilityProcess
Semantics预订CalculiLogics
InstitutionesIntegralis预订Calculi
预售FunctionalExistenceEvolution
Applications预订CalculiLambda
预售FundamentalsUncertaintyCalculi
Lambda结石Calculi海外
9783030869199ApplicationsUnificationFractional
重写键入InternationalConferences
预售ApplicationsAlgebraicAbstract
9789814415972FUNCTIONAL印刷CALCULI
演化方程FunctionalExistence
