Justification logic as a foundation for certifying mobile computation (Q408548): Difference between revisions

@@ Property / cites work @@
+Logic of proofs
@@ Property / cites work: Logic of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692429
@@ Property / cites work: Q5692429 / rank @@
+Normal rank
@@ Property / cites work @@
+The Intensional Lambda Calculus
@@ Property / cites work: The Intensional Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic and History Based Computation
@@ Property / cites work: Justification Logic and History Based Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Proofs as a Foundation for Certifying Mobile Computation
+Normal rank
@@ Property / cites work @@
+A Constructive Logic for Services and Information Flow in Computer Networks
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A judgmental reconstruction of modal logic
@@ Property / cites work: A judgmental reconstruction of modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A modal analysis of staged computation
@@ Property / cites work: A modal analysis of staged computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Mobility and Locality Types
@@ Property / cites work: Logical Mobility and Locality Types / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank