Robuta

https://www.arxiv.org/abs/1501.06845
Abstract page for arXiv paper 1501.06845: Exact Solution for One Type of Lindley's Equation for Queueing Theory and Network Calculus
exactsolutiononetypelindley
https://arxiv.org/abs/1911.08174
Abstract page for arXiv paper 1911.08174: Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
type theoryfailurenormalizationimpredicative
https://www.easychair.org/publications/paper/6thS
type theoryprologbasedprooftool
https://data.bnf.fr/temp-work/c31fe8268f76547c4387218c2f1808af/
Toutes les informations de la Bibliotheque Nationale de France sur : Type-2 fuzzy logic, theory and applications - Oscar Castillo
fuzzy logictypetheoryapplications
https://jacobneu.com/research/lean-catLogic/
jacob neumanntype theorydirected
https://proofassistants.stackexchange.com/questions/5388/in-itt-are-all-provable-equalities-in-the-empty-context-provable-by-refl
For context, I am reading "Principles of Dependent Type Theory". Intensional Type Theory is a dependent type theory where we take out...
type theoryittprovableequalities
https://www.nist.gov/publications/cosolvency-and-cononsolvency-explained-terms-flory-huggins-type-theory
Standard classic Flory-Huggins (FH) theory is employed to describe the enigmatic cosolvency and co-nonsolvency phenomena for systems of polymers dissolved in mi
cosolvencycononsolvencyexplainedtermsflory
https://www.polyvagaltherapy.org/dependent-type-and-polyvagal-theory
This type of "MASK" can be called "The dependent", or also the "Hyperindependent" as often he will search to overcome the dependemcy helping other people (it...
dependent typepolyvagal theoryorg