The current study employs hybrid-exchange density functional theory to show that the Lewis base, NH 3 , binds to the β-AlF 3 (100) surface with a binding energy of up to -1.96 eV per molecule. This is characteristic of a strong Lewis acid. The binding of NH 3 to the surface is predominately due to electrostatic interactions. There is only a small charge transfer from the NH 3 molecule to the surface. The binding energy as a function of coverage is computed and used to develop a lattice Monte Carlo model which is used to predict the temperature programmed desorption (TPD) spectrum. Comparison with experimental TPD studies of NH 3 from β-AlF 3 strongly suggests that these structural models and binding mechanisms are good approximations to those that occur on real AlF 3 surfaces.