The Bang Calculus Revisited
Antonio Bucciarelli, Delia Kesner, Alejandro Ríos, Andrés Viso
Topics & Concepts
Simply typed lambda calculusCalculus (dental)Type (biology)Term (time)Completeness (order theory)System FChurch encodingLambda calculusLinear logicComputer scienceBounded functionMathematicsTyped lambda calculusDiscrete mathematicsMathematical analysisDentistryPhysicsBiologyMedicineQuantum mechanicsEcologyLogic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification