中国科学技术信息研究所--国家工程技术数字图书馆

Justification Logic, Type Theory and the BHK Interpretation

[学位论文]

DeBoer, Neil.
The Ohio State University.

原文获取收藏分享

ISBN	9798471101883
作者	DeBoer, Neil.	授予学位单位	The Ohio State University.
导师	Carlson, Timothy J.	学位	Ph.D.
学科	Logic. Mathematics.	国籍	US
页码/总页数	132 p. / 132	出版年	2020
中图分类号	O1
关键词	Justification logic Type theory BHK interpretation Intuitionistic logic lambda calculus

相关论文

Soundness and Completeness Results for the Logic of Evidence Aggregation and Its Probability Semantics

Zenith: Type Safe, Functional Programming Language for Lua

Mathematical Models of Resource-Conscious Computation

NummSquared 2006a0 Explained, including a new well-founded functional foundation for logic, mathematics and computer science.

Lambda Calculus for Binary Security and Analysis

相关机构

City University of New York.

Arizona State University.

Indiana University.

Dalhousie University (Canada).

University of Cincinnati.

相关关键词