Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Logical Frameworks and Meta-Languages

Study of meta-logical frameworks using dependent types for uniform representation and analysis of object-level logics.