English Jose Meseguer Cited by user Thatsme314 on 23 Nov 2022 José Meseguer is a Spanish computer scientist, and professor at the University of Illinois at Urbana–Champaign.
English Choreographic programming Cited by user TheUsernameIWanted on 11 Jan 2022 In computer science, choreographic programming is a programming paradigm where programs are compositions of interactions among multiple concurrent participants.
English Reduction strategy Cited by user Mathnerd314159 on 18 Aug 2021 In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation.