Report copyright - First Order Logic with Dependent Sorts with Applications ... · Introduction 1. This work introduces First-Order Logic with Dependent Sorts (FOLDS). FOLDS is inspired by Martin-Löf's
Please pass captcha verification before submit form