7 citations · 18 across the 9 of their papers we have counts for
1 paper · 1 filter
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…