PPropositions as typesPropositions as typesde Steve ReevesEdiciones (1)Propositions as types (1986).Queen Mary College, Department of Computer Science and Statistics · inglésMás obras de Steve ReevesBuilding the Classic PhysiqueAAn example of algorithm development in Intuitionistic Type TAn example of algorithm development in Intuitionistic Type TheoryIImplementation of a theorem-prover based on semantic tableauImplementation of a theorem-prover based on semantic tableaux
AAn example of algorithm development in Intuitionistic Type TAn example of algorithm development in Intuitionistic Type Theory
IImplementation of a theorem-prover based on semantic tableauImplementation of a theorem-prover based on semantic tableaux
