"That's the beauty of my position, Doctor Grimes. I can make a theory go a long way. See, I'm not a cop. The whole 'theory and fact and evidence leading to proof' thing is just one big grey area for me. If I can get a theory to hold together pretty well, then that's really all I need." I cracked my knuckles. "And, if the guy behind all this is a vampire

Move over, Lestat...Main's fast-paced, hard-boiled tale takes the world of the undead to a whole new level....A twenty-first century detective novel that turns the traditional genre upside down and inside out with its cast of supernatural characters and wild plot twists...a mix of tradition and originality, "The Raven's Song" bursts at the seams with imagination, magic, and great fun.--Lisa A. Stolley, Pushcart-nominated author of "Your Own Personal Project and Other Stories"

In "Blood & Shadows," Eric Baine had to stop a psychopathic vampire bent on releasing shadow demons to destroy the...

"That's the beauty of my position, Doctor Grimes. I can make a theory go a long way. See, I'm not a cop. The whole 'theory and fact and evidence leading to proof' thing is just one big grey area for me. If I can get a theory to hold together pretty well, then that's really all I need." I cracked my knuckles. "And, if the guy behind all this is a vampire

Move over, Lestat...Main's fast-paced, hard-boiled tale takes the world of the undead to a whole new level....A twenty-first century detective novel that turns the traditional genre upside down and inside out with its cast of supernatural characters and wild plot twists...a mix of tradition and originality, "The Raven's Song" bursts at the seams with imagination, magic, and great fun.--Lisa A. Stolley, Pushcart-nominated author of "Your Own Personal Project and Other Stories"

In "Blood & Shadows," Eric Baine had to stop a psychopathic vampire bent on releasing shadow demons to destroy the...

This volume contains the proceedings of the Seventh International Conferenceon the Mathematical Foundations of Programming Semantics, held at Carnegie Mellon University, March 1991. The conference continued a series of annual meetings, alternating between workshop and conference formats, intended to bring together computer scientists and mathematicians for discussion of research problems, results and directions in programming language semantics and related areas. A major goalof the series is to improve communication and interaction between researchers in these areas and to establish ties...

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic.

This volume is the proceedings of the 3rd Workshop on the Mathematical Foundations of Programming Language Semantics held at Tulane University, New Orleans, Louisiana, April 8-10, 1987. The 1st Workshop was at Kansas State University, Manhattan, Kansas in April, 1985 (see LNCS 239), and the 2nd Workshop with a limited number of participants was at Kansas State in April, 1986. It was the intention of the organizers that the 3rd Workshop survey as many areas of the Mathematical Foundations of Programming Language Semantics as reasonably possible. The Workshop attracted 49 submitted papers, from...