أرسل هذا في رسالة قصيرة: A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic

  ______     ___      _  __     ___      ______  
 /_   _//   / _ \\   | |/ //   / _ \\   /_   _// 
 `-| |,-   | / \ ||  | ' //   / //\ \\    | ||   
   | ||    | \_/ ||  | . \\  |  ___  ||  _| ||   
   |_||     \___//   |_|\_\\ |_||  |_|| /__//    
   `-`'     `---`    `-` --` `-`   `-`  `--`