Science of Computer Programming · 2000 · 52 citations · 0 references
HumanitiesComputer ScienceMathematicsAlgebraLogicSet TheoryCategory TheoryFirst-order LogicMathematical LogicModel TheoryRecursion TheoryType SystemsCategory-theoretic FoundationsDependent TypesFirst-order ConsequenceInduction PrinciplesRecursionRecursion TheoremRecursive ReasoningType Theory