Logic of refinement types (Q6083692): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58085-9_74
+Normal rank
@@ Property / OpenAlex ID @@
+W1512120669
@@ Property / OpenAlex ID: W1512120669 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679172
@@ Property / cites work: Q3679172 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198752
@@ Property / cites work: Q4198752 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
+Normal rank
@@ Property / cites work @@
+Singleton, union and intersection types for program extraction
+Normal rank
@@ Property / cites work @@
+The theory of semi-functors
@@ Property / cites work: The theory of semi-functors / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of the second order lambda calculus
@@ Property / cites work: Semantics of the second order lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3211296
@@ Property / cites work: Q3211296 / rank @@
+Normal rank
@@ Property / cites work @@
+First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
+Normal rank
@@ Property / cites work @@
+Synthesis of ML programs in the system Coq
@@ Property / cites work: Synthesis of ML programs in the system Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6083692