Intuitionistic fixed point logic
Ulrich Berger
Topics & Concepts
CoinductionRealizabilityIntuitionistic logicDiscrete mathematicsMathematicsHigher-order logicDenotational semanticsMathematical proofMinimal logicHaskellInterpretation (philosophy)Domain theoryAbstract interpretationProgramming languageAlgebra over a fieldComputer scienceFunctional programmingOperational semanticsLinear logicSemantics (computer science)AlgorithmMultimodal logicPure mathematicsDescription logicZeroth-order logicGeometryLogic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge