Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Gene Therapy: Introduction and types of Gene Therapy

Types of Christian Mission: An Introduction

Information Theory: A Tutorial Introduction