PaperA Brief Introduction to Quantum Network ControlVictor Valls, Panagiotis Promponas, et al.IEEE Communications Magazine
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science