Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts (Q2642466): Difference between revisions

@@ Property / OpenAlex ID @@
+W2065324910
@@ Property / OpenAlex ID: W2065324910 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of the theory of contexts
@@ Property / cites work: Consistency of the theory of contexts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012880
@@ Property / cites work: Q4012880 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408131
@@ Property / cites work: Q3408131 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts
+Normal rank
@@ Property / cites work @@
+Q2847780
@@ Property / cites work: Q2847780 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457464
@@ Property / cites work: Q4457464 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024831
@@ Property / cites work: Q3024831 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion over objects of functional type
@@ Property / cites work: Recursion over objects of functional type / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484341
@@ Property / cites work: Q4484341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4322072
@@ Property / cites work: Q4322072 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q2723440
@@ Property / cites work: Q2723440 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754049
@@ Property / cites work: Q2754049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535076
@@ Property / cites work: Q4535076 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus in (Co)inductive-type theory
@@ Property / cites work: \(\pi\)-calculus in (Co)inductive-type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified bytecode verifiers.
@@ Property / cites work: Verified bytecode verifiers. / rank @@
+Normal rank
@@ Property / cites work @@
+The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
+Normal rank
@@ Property / cites work @@
+Developing (Meta)Theory of λ-calculus in the Theory of Contexts1 1Work partially supported by Italian MURST project tosca and EC-WG types.
+Normal rank
@@ Property / cites work @@
+On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
+Normal rank
@@ Property / cites work @@
+Co-induction in relational semantics
@@ Property / cites work: Co-induction in relational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417871
@@ Property / cites work: Q4417871 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844811
@@ Property / cites work: Q2844811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809043
@@ Property / cites work: Q4809043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771757
@@ Property / cites work: Q2771757 / rank @@
+Normal rank