7 citations · 7 across the 1 of their papers we have counts for
1 paper
João Marcos
A number of flexible tactic-based logical frameworks are nowadays available that can implement a wide range of mathematical theories using a common higher-order metalanguage. Used…