2 citations · 4 across the 7 of their papers we have counts for
4 papers · 1 filter
Formalizing groups in type theory
Farida Kachapova
In this paper we formalize some foundation concepts and theorems of group theory in a variant of type theory called the Calculus of Constructions with Definitions. In this theory w…
Formalizing relations in type theory
Farida Kachapova
Type theory plays an important role in foundations of mathematics as a framework for formalizing mathematics and a base for proof assistants providing semi-automatic proof checking…
Comparison of constructive multi-typed theory with subsystems of second order arithmetic
Farida Kachapova
This paper describes an axiomatic theory BT for constructive mathematics. BT has a predicative comprehension axiom for a countable number of set types and usual combinatorial opera…
A strong intuitionistic theory of functionals
Farida Kachapova
In this paper we construct a Beth model for intuitionistic functionals of high types and use it to create a relatively strong theory SLP containg intuitionistic principles for func…