AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Product Description
AGDA PROGRAMMING FOR MATHEMATICAL SOFTWARE: Dependently typed functional language for research and teaching
Technical Specifications
You might also like
Manjushri's Innermost Secret: A Profound Commentary of Oral Instructions on the Practice of Lama Chöpa (The Dechen Ling Practice Series)
Understanding the Case Against Shukden: The History of a Contested Tibetan Practice (1)
A Bird in Flight Leaves No Trace: The Zen Teaching of Huangbo with a Modern Commentary (1)
The Blazing Inner Fire of Bliss and Emptiness: An Experiential Commentary on the Practice of the Six Yogas of Naropa (The Dechen Ling Practice Series)
The Life of My Teacher: A Biography of Kyabjé Ling Rinpoché
The Essence of the Vast and Profound: A Commentary on Je Tsongkhapa's Middle-Length Treatise on the Stages of the Path to Enlightenment (The Dechen Ling Practice Series)
The Illustrated Lotus Sutra
Reasons and Lives in Buddhist Traditions: Studies in Honor of Matthew Kapstein (Studies in Indian and Tibetan Buddhism)