...
机译:Indexed and fibered structures for partial and total correctness assertions
Univ Bergen;
Av Marechal Andrea 11-210, Porto Alegre, RS, Brazil;
Pontificia Univ Catolica Rio de Janeiro;
Hoare logic; partial correctness assertions; total correctness assertions; indexed categories; fibrations; HOARE LOGIC; CATEGORIES;